Sage Journals: Discover world-class research

Retricted access

Research article

First published 1996-4-1

A sound type system for secure flow analysis

Dennis Volpano, Cynthia Irvine, Geoffrey Smith

Journal of Computer Security

Retricted access

Research article

First published 2021-3-29

A permission-dependent type system for secure information flow analysis

Zhiwu Xu, Hongxu Chen, Alwen Tiu [...]

Journal of Computer Security

Retricted access

Research article

First published 2009-10-12

On declassification and the non-disclosure policy

Ana Almeida Matos, Gérard Boudol

Journal of Computer Security

Retricted access

Research article

First published 2014-2-20

Union,intersection and refinement types and reasoning about type disjointness for secure protocol implementations

Michael Backes, Cătălin Hriţcu, Matteo Maffei

Journal of Computer Security

Retricted access

Research article

First published 2009-10-12

Planning and verifying service composition

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari

Journal of Computer Security

Retricted access

Research article

First published 2023-6

Adaptive nonsingular integral-type dynamic terminal sliding mode synchronizer for disturbed nonlinear systems and its application to secure communication systems

Behrouz Vaseghi, Saleh Mobayen, Sami ud Din [...]

Journal of Vibration and Control

Retricted access

Research article

First published 2016-8-16

Context-aware security: Linguistic mechanisms and static analysis

Chiara Bodei, Pierpaolo Degano, Letterio Galletta [...]

Journal of Computer Security

Retricted access

Research article

First published 2013-12-20

Type-based analysis of key management in PKCS#11 cryptographic devices

Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio

Journal of Computer Security

Retricted access

Research article

First published 2006-4-20

Enforcing Robust Declassification and Qualified Robustness

Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic

Journal of Computer Security

Retricted access

Research article

First published 1996-4

Health Care System Reforms in Western European Countries: The Relevance of Health Care Organization

Javier Elola

International Journal of Social Determinants of Health and Health Services

Search results