@InProceedings{ligatti+:nonsafety, author = "Jay Ligatti and Lujo Bauer and David Walker", title = "Enforcing Non-safety Security Policies with Program Monitors", booktitle = "10th European Symposium on Research in Computer Security (ESORICS)", year = 2005, month = sep, address = "Milan", url = {http://www.cs.princeton.edu/~jligatti/papers/nonsafety.pdf} }