Riccardo Focardi, Roberto Gorrieri  Home/Search
Context
Related
| dsi.unive.it/~focard...fosadFG01.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dsi.unive.it/~focardi/biblio (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In the recent years, many formalizations of security properties have been proposed, most of which are based on different underlying models and are consequently difficult to compare. A classification of security properties is thus of interest for understanding the relationships among different definitions and for evaluating the relative merits. In this paper, many non-interference-like properties proposed for computer security are classified and compared in a unifying framework. The resulting... (Update)
Similar documents (at the sentence level):
38.0%: Analysis and Automatic Detection of Information Flows in Systems.. - Focardi (1999) (Correct)
14.1%: The Compositional Security Checker: A Tool for the Verification.. - Focardi (Correct)
Active bibliography (related documents): More All
1.0: Classification of Security Properties (Part II: Network.. - Focardi, Gorrieri.. (Correct)
0.9: Information Flow Analysis in a Discrete-Time Process Algebra - Focardi, al. (2000) (Correct)
0.7: Transforming processes to check and ensure Information.. - Bossi, Focardi.. (2002) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
1.1: CVS at Work: A Report on New Failures upon Some.. - Durante, Focardi.. (2001) (Correct)
1.0: Message Authentication through Non Interference - Focardi, Gorrieri, Martinelli (2000) (Correct)
1.0: A Classification of Security Properties for Process Algebras - Focardi, Gorrieri (1994) (Correct)
BibTeX entry: (Update)
@misc{ focardi-classification,
author = "Riccardo Focardi and Roberto Gorrieri",
title = "Classification of Security Properties (Part I: Information Flow)",
url = "citeseer.ist.psu.edu/490421.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
906 A Structural Approach to Operational Semantics - Plotkin - 1981
410 Mobile Ambients - Cardelli, Gordon - 1998
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1999
265 Secure Computer Systems: Unified Exposition and Multics Inte.. (context) - Bell, Padula - 1976
232 The Concurrency Workbench: a Semantics Based Tool for the Ve.. - Cleaveland, Parrow et al. - 1993
231 A Theory of Communicating Sequential Processes (context) - Brookes, Hoare et al. - 1984
184 Automated Analysis of Cryptographic Protocols Using Mur - Mitchell, Mitchell et al.
158 Secrecy by Typing in Security Protocols - Abadi - 1999
155 Algebra of Communicating Processes with Abstraction (context) - Bergstra, Klop - 1985
149 Testing equivalences for processes (context) - De Nicola, Hennessy - 1984
143 Proving Properties of Security Protocols by Induction - Paulson - 1997
139 Secure Information Flow in a Multi-Threaded Imperative Langu.. - Smith, Volpano - 1998
110 Casper: A Compiler for the Analysis of Security Protocols - Lowe - 1998
105 Word problems requiring exponential time (context) - Stockmeyer, Meyer - 1973
102 Formal Verification of Parallel Programs (context) - Keller - 1976
72 Security Policy and Security Models (context) - Goguen, Meseguer
71 Model Checking CSP (context) - Roscoe - 1994
70 Verifying authentication protocols in CSP (context) - Schneider - 1998
54 Using CSP to detect Errors in the TMN Protocol - Lowe, Roscoe - 1997
51 Information Flow in Nondeterministic Systems (context) - Wittbold, Johnson
50 A Model of Information (context) - Sutherland - 1986
49 An Improved Failures Model for Communicating Processes (context) - Brookes, Roscoe
48 Non Interference for the Analysis of Cryptographic Protocols - Focardi, Gorrieri et al. - 2000
45 Non-interference through Determinism (context) - Roscoe, Woodcock et al.
45 Noninterference and the Composability of Security Properties (context) - McCullough
43 The Compositional Security Checker: A Tool for the Verificat.. - Focardi, Gorrieri - 1997
43 A Classification of Security Properties for Process Algebras - Focardi, Gorrieri
39 A Logical View of Secure Dependencies (context) - Bieber, Cuppens - 1992
30 Static Analysis of Processes for No Read-Up and No Write-Dow.. - Bodei, Degano et al. - 1999
23 Security and the Composition of Machines (context) - Johnson, Thayer - 1988
21 A Compiler for Analysing Cryptographic Protocols Using Non-I.. (context) - Durante, Focardi et al. - 2000
21 Information Flow Analysis in a Discrete Time Process Algebra - Focardi, Gorrieri et al. - 2000
19 Bisimulation Trees and the Decidability of Weak Bisimulation.. (context) - Hirshfeld - 1996
16 Hookup Security for Synchronous Machines (context) - Millen - 1990
16 A Uniform Approach for the Definition of Security Properties - Focardi, Martinelli - 1999
15 Partial Model Checking and Theorem Proving for Ensuring Secu.. (context) - Martinelli - 1998
13 Comparing Two Information Flow Security Properties - Focardi - 1996
13 Probabilistic Information Flow in a Process Algebra (context) - Aldini - 2001
11 A CSP Formulation of Non-Interference (context) - Ryan
11 Primitives for Authentication (context) - Bodei, Degano et al. - 2001
10 Authentication via Localized Names - Bodei, Degano et al. - 1999
9 CCS Expressions, Finite State Processes, and Three Problems .. (context) - Kanellakis, Smolka - 1990
9 A Comparison of Non-Interference and Non-Deducibility using .. (context) - Allen - 1991
8 the Identification of Covert Storage Channels in Secure Syst.. (context) - Tsai, Gligor et al. - 1990
8 Message authentication through noninterference - Focardi, Gorrieri et al. - 2000
8 Information Flow vs. Resource Access in the Asynchronous Pi-.. - Hennessy, Riely - 2000
7 Secrecy in security protocols as noninterference - Focardi, Gorrieri et al. - 2000
7 Automatic Compositional Verification of Some Security Proper.. - Focardi, Gorrieri - 1996
5 Using Entity Locations for the Analysis of Authentication Pr.. - Focardi - 1998
5 Analysis and Automatic Detection of Information Flows in Sys.. - Focardi - 1999
4 Automatic verification of cryptographic protocols through co.. (context) - Marchignoli, Martinelli - 1999
4 An Information Flow Security Property for CCS (context) - Focardi, Gorrieri - 1993
3 A Taxonomy of Trace-based Security Properties for CCS (context) - Focardi, Gorrieri - 1994
3 CVS at Work: A Report on New Failures upon Some Cryptographi.. - Durante, Focardi et al.
2 A New Definition of Multilevel Security - Focardi, Gorrieri et al. - 2000
2 Protocol composition and correctness (context) - Durgin, Mitchell et al. - 2000
2 Located Entity Authentication - Focardi - 1998
2 Mobile Values, New Names, and Secure Communication - Fournet, Abadi - 2001
2 The Security Checker: a Semanticsbased Tool for the Verifica.. (context) - Focardi, Gorrieri et al. - 1995
1 Mathematical Models of Computer Security (context) - Ryan
1 Classification of Security Properties (Part II: Network Secu.. - Focardi, Gorrieri et al.
Documents on the same site (http://www.dsi.unive.it/~focardi/biblio.html): More
Message Authentication through Non Interference - Focardi, Gorrieri, Martinelli (2000) (Correct)
Secrecy in Security Protocols as Non Interference - Focardi, al. (2000) (Correct)
Authentication via Localized Names - Bodei, Degano (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC