Model checking agent knowledge in dynamic access control policies

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems
Subtitle of host publication19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
EditorsN Piterman, SA Smolka
Publication statusPublished - 2013

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume7795
ISSN (Print)0302-9743