Abstract | ||
---|---|---|
Many security properties of cryptographic protocols can be all formalized as specific instances of a general scheme, called Generalized Non Deducibility on Composition (GNDC). This scheme derives from the NDC property we proposed a few years ago for studying information flow in computer systems. The theory is formulated for CryptoSPA, a process algebra we introduced for the specification of cryptographic protocols. One of the advantages of our unifying GNDC-based theory is that that formal comparison among security properties become easier, being them all instances of a unique general property. Moreover, the full generality of the approach has helped us in finding a few undocumented attacks on cryptographic protocols. This paper is based on the results of [20,22-25] and covers the second part of the course "Classification of Security Properties" given by Roberto Gorrieri and Riccardo Focardi at the FOSAD'00 and FOSAD'01 schools. |
Year | Venue | Keywords |
---|---|---|
2002 | Lecture Notes in Artificial Intelligence | cryptographic protocol,network security,information flow,process algebra |
Field | DocType | Volume |
Security convergence,Network security policy,Computer security,Computer science,Software security assurance,Computer network,Information security,Security service,Cloud computing security,Network Access Control,Computer security model | Conference | 2946 |
ISSN | Citations | PageRank |
0302-9743 | 21 | 0.76 |
References | Authors | |
33 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Riccardo Focardi | 1 | 1229 | 99.99 |
Roberto Gorrieri | 2 | 2297 | 184.63 |
Fabio Martinelli | 3 | 751 | 82.27 |