cs@parma

Home

People

Projects

Publications

Seminars

Software

Links

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.]

Page maintained by
Enea Zaffanella

Home | People | Projects | Publications | Seminars | Software | Links