Model Checking Agent Knowledge in Dynamic Access Control Policies
Masoud Koleini
◽
Eike Ritter
◽
Mark Ryan
2008 ◽
Vol 10
(4)
◽
pp. 1-37
◽
Luc Bouganim
◽
Francois Dang Ngoc
◽
Philippe Pucheral
Daniel J. Dougherty
◽
Kathi Fisler
◽
Shriram Krishnamurthi
2015 ◽
Vol 18
(2)
◽
pp. 1-25
◽
Perry Alexander
◽
Lee Pike
◽
Peter Loscocco
◽
George Coker
2012 ◽
Vol 56
(4)
◽
pp. 440-463
◽
H. Janicke
◽
A. Cau
◽
F. Siewe
◽
H. Zedan
Nada Essaouini
◽
Frederic Cuppens
◽
Nora Cuppens-Boulahia
◽
Anas Abou El Kalam
William C. Garrison
◽
Adam Shull
◽
Steven Myers
◽
Adam J. Lee
Dimitar P. Guelev
◽
Mark Ryan
◽
Pierre Yves Schobbens
Masoud Koleini
◽
Mark Ryan