|
CS Seminar: Carla Piazza, October 3, 2002
- Speaker
-
Carla Piazza,
Dipartimento di Informatica,
Università Ca' Foscari di Venezia,
Italy.
- Date and Time
-
Thursday, October 3, 2002 at 16:00
- Place
-
Sala Riunioni,
Dipartimento di Matematica,
Università di Parma,
Via D'Azeglio 85/A,
I-43100 Parma
- Title
-
Bisimulation Based Information Flow Security
- Abstract
-
Negli ultimi anni i sistemi informatici sono diventati sempre più
complessi e nel campo della sicurezza è stato necessario introdurre
nuovi metodi per riconoscere possibili situazioni di pericolo.
Varie definizioni di proprietà di sicurezza sono state proposte in
letteratura. In particolare la proprietà
``Persistent Bisimulation Based Non Deducibility on Composition'' (P_BNDC)
permette di analizzare processi che possono migrare in contesti insicuri.
Tale proprietà presenta numerosi vantaggi che verranno illustrati
durante il seminario: può essere testata in modo efficiente,
si preserva componendo più processi, è possibile modificare
un dato processo in modo che soddisfi la proprietà, è
possibile costruire incrementalmente processi sicuri.
- Contact Person
-
Gianfranco Rossi
[Page last updated on January 21, 2013, 08:18:53.]
|