Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Barthe, Gilles
and
Nieto, Leonor Prensa
2004.
Formally verifying information flow type systems for concurrent and thread systems.
p.
13.
Naumann, David A.
2005.
Theorem Proving in Higher Order Logics.
Vol. 3603,
Issue. ,
p.
211.
Jeffrey, Alan
and
Rathke, Julian
2005.
Programming Languages and Systems.
Vol. 3444,
Issue. ,
p.
423.
Banerjee, Anindya
and
Naumann, David A.
2005.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices.
Vol. 3362,
Issue. ,
p.
27.
Jacobs, Bart
Pieters, Wolter
and
Warnier, Martijn
2005.
Statically checking confidentiality via dynamic labels.
p.
50.
Sabelfeld, A.
and
Sands, D.
2005.
Dimensions and Principles of Declassification.
p.
255.
Barthe, Gilles
and
Rezk, Tamara
2005.
Non-interference for a JVM-like language.
p.
103.
Barthe, Gilles
and
Dufay, Guillaume
2005.
Foundations of Security Analysis and Design III.
Vol. 3655,
Issue. ,
p.
133.
Naumann, David A.
2006.
Computer Security – ESORICS 2006.
Vol. 4189,
Issue. ,
p.
279.
Hicks, Boniface
King, Dave
McDaniel, Patrick
and
Hicks, Michael
2006.
Trusted declassification:.
p.
65.
Amtoft, Torben
Bandhakavi, Sruthi
and
Banerjee, Anindya
2006.
A logic for information flow in object-oriented programs.
ACM SIGPLAN Notices,
Vol. 41,
Issue. 1,
p.
91.
Hedin, D.
and
Sands, D.
2006.
Noninterference in the Presence of Non-Opaque Pointers.
p.
217.
Amtoft, Torben
Bandhakavi, Sruthi
and
Banerjee, Anindya
2006.
A logic for information flow in object-oriented programs.
p.
91.
Broberg, Niklas
and
Sands, David
2006.
Programming Languages and Systems.
Vol. 3924,
Issue. ,
p.
180.
Barthe, G.
Naumann, D.
and
Rezk, T.
2006.
Deriving an information flow checker and certifying compiler for Java.
p.
13 pp..
Naumann, David A.
and
Barnett, Mike
2006.
Towards imperative modules: Reasoning about invariants and sharing of mutable state.
Theoretical Computer Science,
Vol. 365,
Issue. 1-2,
p.
143.
Barnett, Mike
Naumann, David A.
Schulte, Wolfram
and
Sun, Qi
2006.
Emerging Trends in Information and Communication Security.
Vol. 3995,
Issue. ,
p.
321.
Pistoia, Marco
Banerjee, Anindya
and
Naumann, David A.
2007.
Beyond Stack Inspection: A Unified Access-Control and Information-Flow Security Model.
p.
149.
Naumann, David A.
2007.
Observational purity and encapsulation.
Theoretical Computer Science,
Vol. 376,
Issue. 3,
p.
205.
Amtoft, Torben
and
Banerjee, Anindya
2007.
A logic for information flow analysis with an application to forward slicing of simple imperative programs.
Science of Computer Programming,
Vol. 64,
Issue. 1,
p.
3.
Discussions
No Discussions have been published for this article.