On the construction and verification of self-modifying access control policies

David Power, Mark Slaymaker, and Andrew Simpson

journal	Proceedings of SDM 2009
year	2009

people

David Power | Andrew Simpson | Mark Slaymaker