Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Citkey="Sistla-Zhou/08"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Analysis of dynamic policies Publikation auswählen
A. Prasad Sistla, Min Zhou

Information and Computation 206 (2-4), 2008, pp. 185-212

Editors  Albert R. Meyer
Publisher:  Elsevier B.V.
Address:  Orlando-Amsterdam-Tokyo-Singapore
 
Keywords:   dynamic access control policies, security properties, trust management systems, role containment, tree automata, first order ctl
 
URL:   http://www.sciencedirect.com/science/article/B6WGK-4R7J624-4/2/40d63790d6d006ebf221e44f7628aded