Searching for authors named Riccardo Focardi – sorted by Relevance.
-
Of Security Analysis And Design
- Classification of Security Properties (part 2: network security) Riccardo Focardi Dipartimento di
- Add To MetaCart
-
Using Entity Locations for the Analysis of Authentication Protocols
- USING ENTITY LOCATIONS FOR THE ANALYSIS OF AUTHENTICATION PROTOCOLS RICCARDO FOCARDI Dipartimento
- Cited by 5 (4 self) – Add To MetaCart
-
Comparing Two Information Flow Security Properties
- (Ireland), June 1996. Comparing Two Information Flow Security Properties Riccardo Focardi Dipartimento di
- Cited by 12 (5 self) – Add To MetaCart
-
Analysis and Automatic Detection of Information Flows in Systems and Networks
- Analysis and Automatic Detection of Information Flows in Systems and Networks Riccardo Focardi
- Cited by 9 (2 self) – Add To MetaCart
-
A Classification of Security Properties (Extended Abstract)
- A Classification of Security Properties (Extended Abstract) Riccardo Focardi Roberto Gorrieri
- Add To MetaCart
-
Non Interference: Past, Present and Future
- Non Interference: Past, Present and Future Riccardo Focardi Dipartimento di Matematica Applicata
- Cited by 2 (1 self) – Add To MetaCart
-
Information Flow Security in Mobile Ambients
- ://www.elsevier.nl/locate/entcs/volume54.html 11 pages Information Flow Security in Mobile Ambients 1 Agostino Cortesi Riccardo Focardi
- Cited by 2 (1 self) – Add To MetaCart
-
A Security Property for Processes in Dynamic Contexts
- A security property for processes in dynamic contexts Riccardo Focardi and Sabina Rossi
- Cited by 1 (1 self) – Add To MetaCart
-
A Uniform Approach for the Definition of Security Properties
- for the Denition of Security Properties ? Riccardo Focardi 1 and Fabio Martinelli 2 1 Dipartimento di
- Cited by 32 (13 self) – Add To MetaCart
-
Information Flow Security in Dynamic Contexts
- -32617). Riccardo Focardi and Sabina Rossi Dipartimento di Informatica Università Ca’ Foscari di Venezia via Torino
- Cited by 34 (14 self) – Add To MetaCart

