Sage Journals: Discover world-class research

Retricted access

Research article

First published 2011-2-14

Model-checking trace-based information flow properties *

Deepak D'Souza, Raveendra Holla, K.R. Raghavendra [...]

Journal of Computer Security

Retricted access

Research article

First published 2016-11-8

Model-checking trace-based information flow properties for infinite-state systems

Deepak D’Souza, K.R. Raghavendra

Journal of Computer Security

Retricted access

Research article

First published 2026-5

SoK: Robust properties,robust abstractions and back-translations

Emiel Lanckriet, Frank Piessens, Dominique Devriese

Journal of Computer Security

Retricted access

Research article

First published 2012-11

Informational Analysis of Security and Integrity

Damas P. Gruska

Fundamenta Informaticae

Retricted access

Research article

First published 2006-8

Network Information Flow

Damas P. Gruska

Fundamenta Informaticae

Retricted access

Research article

First published 2010-9-20

Hyperproperties

Michael R. Clarkson, Fred B. Schneider

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 2012-12-14

Information flow in trust management systems

Moritz Y. Becker

Journal of Computer Security

Retricted access

Research article

First published 2008-5

Hydrodynamics of Taylor flow in small channels: A Review

P Angeli, A Gavriilidis

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 1992-10-1

Toward a Mathematical Foundation for Information Flow Security

James W. Gray

Journal of Computer Security

Search results