1. Abadi, M., Birrell, A., Wobber, T.: Access control in a world of software diversity. In: Proc. of the Tenth workshop on Hot Topics in Operating Systems (2005),
http://www.usenix.org/events/hotos05/
2. Alur, R., Henzinger, T., Kupferman, O.: Alternating time temporal logic. Journal of ACM 49, 672–713 (2002)
3. Lecture Notes in Computer Science;A. Anagnostopoulos,2001
4. Andersen, D.G., Balakrishnan, H., Feamster, N., Koponen, T., Moon, D., Shenker, S.: Accountable Internet Protocol (AIP). In: SIGCOMM, pp. 339–350. ACM Press, New York (2008)
5. Argyraki, K., Maniatis, P., Irzak, O., Shenker, S.: An accountability interface for the Internet. In: Proceedings of the 14th IEEE International Conference on Network Protocols (2007)