SMART: Today's talk by Vishwas Patil [Safety]

0 views

Skip to first unread message

Vishwas Patil

unread,

Apr 10, 2006, 4:05:39 AM4/10/06

to smar...@googlegroups.com, asseg...@dsi.uniroma1.it, doc...@dsi.uniroma1.it, dotto...@dsi.uniroma1.it, secu...@inroma.roma.it, informat...@yahoogroups.com, dis-s...@dis.uniroma1.it

Title : Safety

Speaker : Vishwas Patil

Date : APR 10, 2006

Venue & Time : Aula Alfa, Via Salaria 113

Abstract :

In our last talk we saw two primitive models of protection systems based
on 1) message system, 2) access matrix. The model based on access matrix
is of more practical interest and widely used. Having seen the structure
of "access matrix" model and the rules to update it, it is interesting
to ask questions like: is it possible to determine in a given situation
whether a subject can acquire a particular right to an object?

"In restricted cases, it can be shown that this problem is decidable,
i.e., there is an algorithm to determine whether a system in particular
configuration is safe. In general, and under surprisingly weak
assumptions, it cannot be decided if a situation is safe."

We will begin with a recap of protection systems.

http://www.dsi.uniroma1.it/smart/

Please feel free to extend this invitation to other interested people.

--
with best regards from,
_____________________________________________________________________
Vishwas Patil
Dipartimento di Informatica
Universita degli Studi di Roma - La Sapienza
Via Salaria 113, 00198 Roma, Italy
Tel: +39-3341 02 8875 Fax: +39-06 8541 842
http://www.dsi.uniroma1.it/~patil ivis...@gmail.com
_____________________________________________________________________