My Bibliography
-
The Compositional Security Checker: A Tool for the Verification of
Information Flow Security Properties
,
Riccardo Focardi and
Roberto Gorrieri,
IEEE Transactions on Software Engineering
,
Vol. 23, No. 9, September 1997. (get here a
preliminary
.ps.gz)
-
Using Non Interference for the Analysis of Security Protocols ,
Riccardo Focardi,
Anna Ghelli and
Roberto Gorrieri,
in Proceedings of DIMACS Workshop on Design and Formal Verification of
Security Protocols (H. Orman and
C. Meadows Ed.)
September 3-5, 1997,
DIMACS Center, CoRE Building, Rutgers University.
(you can get a .ps.gz,
see an version, or go to
the electronic proceedings
of the workshop).
-
Non Interference: Past, Present and Future ,
Riccardo Focardi and
Roberto Gorrieri,
in Proceedings of DARPA Workshop on
Foundations for Secure Mobile Code , 26-28 March 1997
Monterey, California, USA.
(get here
the .ps.gz)
-
Comparing Two Information Flow Security Properties ,
Riccardo Focardi,
in Proceedings of Ninth IEEE Computer Security Foundations
Worhshop
(CSFW'96), (M. Merritt Ed.), IEEE Press, pages 116-122, Kenmare (Ireland), June 1996.
(get here
the .ps.gz)
-
Automatic Compositional Verification of Some Security
Properties ,
Riccardo Focardi and
Roberto Gorrieri,
in Proceedings of Second International Workshop on
Tools and Algorithms for the Construction and Analysis of Systems
(TACAS'96), (B. Steffen Ed.), pages 167-186, Passau (Germany),
March 1996. Springer-Verlag, LNCS 1055. (get here the
.ps.gz)
-
The Security Checker: a Semantics-based Tool for the Verification
of
Security Properties ,
Riccardo Focardi,
Roberto Gorrieri and
Villiam Panini, in Proceedings of
Eighth IEEE Computer Security Foundations Worhshop (CSFW'95),
(Li Gong Ed.), IEEE Press, pages 60-69, Kenmare (Ireland), June 1995.
-
A Classification of Security Properties for Process Algebras ,
Riccardo Focardi and
Roberto Gorrieri,
Journal of Computer Security , 3(1):
5-33, 1995.
-
A Taxonomy of Trace-based Security Properties for CCS ,
Riccardo Focardi and
Roberto Gorrieri,
in Proceedings of Seventh IEEE Computer Security Foundations
Workshop (CSFW'94), (Li Gong Ed.), IEEE Press, pages 126-136,
Franconia (NH), June 1994.
-
An Information Flow Security Property for CCS ,
Riccardo Focardi and
Roberto Gorrieri,
in Proceedings of Second North American Process Algebra Workshop
(NAPAW'93), (B. Bloom Ed.), TR-93/1369 of Cornell University,
Ithaca
(NY), August 1993.
Back
to my home page.