| |
|
| |
ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-56.
|
| |
Security and Privacy, IEEE Symposium on In 30th IEEE Symposium on Security and Privacy, Vol. 0 (2009), pp. 141-153.
|
| |
In Proceedings of the Verify'06 Verification Workshop (2006)
|
| |
In SACMAT '08: Proceedings of the 13th ACM symposium on Access control models and technologies (2008), pp. 195-204.
|
| |
Annals of the New York Academy of Sciences In Frontiers of Science Reports from the Final International Session of the Moscow Refusnik Seminar, Vol. 661, No. 0. (1992), pp. 160-173.
|
| |
Computer Security – ESORICS 2007 In Computer Security – ESORICS 2007, Vol. 4734 (2008), pp. 594-609.
|
| |
18th International Conference on Advanced Information Networking and Applications (AINA '04) In 18th International Conference on Advanced Information Networking and Applications (AINA '04), Vol. 1 (2004), pp. 400-405.
|
| |
No. SRI-CSL-01-07. (2001)
|
| |
First IEEE International Conference on Formal Engineering Methods In First IEEE International Conference on Formal Engineering Methods (1997), pp. 50-59.
|
| |
13th IEEE Computer Security Foundations Workshop (CSFW '00) In 13th IEEE Computer Security Foundations Workshop (CSFW '00) (2000), pp. 64-76.
|
| |
Computer Aided Verification In Computer Aided Verification, Vol. 5123 (2008), pp. 414-418.
|
| |
|
| |
Intrusion and Malware Detection and Vulnerability Assessment In Intrusion and Malware Detection and Vulnerability Assessment, Vol. 3548 (2005), pp. 69-84.
|
| |
Computer Aided Verification (2005), pp. 281-285.
by A. Armando, D. Basin, Y. Boichut, et al.Y. Chevalier, L. Compagna, J. Cuellar, Hankes P. Drielsma, P. C. Heám, O. Kouchnarenko, J. Mantovani, S. Mödersheim, D. von Oheimb, M. Rusinowitch, J. Santiago, M. Turuani, L. Viganò, L. Vigneron
|
| |
Formal Aspects of Computing, Vol. 20, No. 1. (24 January 2008), pp. 61-77.
|
| |
In Proceedings of the New Security Paradigms Workshop (September 2004), pp. 13-21.
|
| |
In FMSE '03: Proceedings of the 2003 ACM workshop on Formal Methods in Security Engineering (2003), pp. 1-10.
|
| |
|
| |
In ESORICS '94: Proceedings of the Third European Symposium on Research in Computer Security, Vol. 875 (1994), pp. 33-53.
|
| |
In International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies (ICNICONSMCL'06) (2006)
|
| |
No. CMU-CS-99-130. (May 1999)
|
| |
No. YCS-2004-376. (May 2004)
|
| |
Computational Intelligence, Vol. 20, No. 3. (2004), pp. 503-516.
|
| |
In Proceedings of the 2003 Congress on Evolutionary Computation, Vol. 3 (2003), pp. 2181-2188.
|
| |
Journal of Automated Reasoning, Vol. 36, No. 1. (January 2006), pp. 85-124.
|
CiteULike
michaelbanks's CiteULike
Search
Export
