| |
|
| |
|
| |
Computer In Computer, Vol. 38, No. 12. (2005), pp. 128-127.
|
| |
Computer Network Security In Computer Network Security, Vol. 3685 (2005), pp. 206-220.
|
| |
|
| |
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 135, No. 1. (5 July 2005), pp. 39-58.
|
| |
In Sicherheit, Vol. 62 (2005), pp. 113-124.
|
| |
Mechanizing Mathematical Reasoning In Mechanizing Mathematical Reasoning, Vol. 2605 (2005), pp. 452-475.
|
| |
|
| |
No. YCST-2005-12. (April 2005)
|
| |
Computer Security -- ESORICS 2005 In Computer Security -- ESORICS 2005, Vol. 3679 (2005), pp. 418-437.
|
| |
|
| |
|
| |
|
| |
In FMSE '05: Proceedings of the 2005 ACM workshop on Formal methods in security engineering (2005), pp. 53-62.
|
| |
Foundations of Software Science and Computational Structures In Foundations of Software Science and Computational Structures, Vol. 3441 (2005), pp. 299-315.
|
| |
In 18th IEEE Computer Security Foundations Workshop (CSFW'05) (2005), pp. 255-269.
|
| |
Software and Systems Modeling, Vol. 4, No. 4. (17 November 2005), pp. 355-357.
|
| |
|
| |
Security Protocols In Security Protocols, Vol. 3364 (2005), pp. 178-182.
|
| |
Computer Security – ESORICS 2005 In Computer Security – ESORICS 2005, Vol. 3679 (2005), pp. 197-221.
|
| |
25th IEEE International Conference on Distributed Computing Systems Workshops In 25th IEEE International Conference on Distributed Computing Systems Workshops (2005), pp. 114-120.
|
| |
9th IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) In 9th IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (2005), pp. 3-7.
|
| |
Certification and Security in Inter-Organizational E-Service In Certification and Security in Inter-Organizational E-Service, Vol. 177 (2005), pp. 33-54.
|
| |
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 135, No. 1. (05 July 2005), pp. 95-114.
|
| |
Third International Conference on Information Technology and Applications (ICITA 2005) In Third International Conference on Information Technology and Applications (ICITA 2005), Vol. 2 (2005), pp. 572-575.
|
| |
ZB 2005: Formal Specification and Development in Z and B In ZB 2005: Formal Specification and Development in Z and B, Vol. 3455 (2005), pp. 319-333.
|
| |
Military Communications Conference, 2005. MILCOM 2005. IEEE In MILCOM 2005 - 2005 IEEE Military Communications Conference, Vol. 5 (2005), pp. 2977-2982.
|
| |
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
|
| |
21st Annual Computer Security Applications Conference In 21st Annual Computer Security Applications Conference (7 December 2005), pp. 337-351.
|
| |
ACM Computer Surveys, Vol. 37, No. 1. (March 2005), pp. 29-41.
|
| |
|
| |
In Communicating Sequential Processes, Vol. 3525 (2005), pp. 243-263.
|
| |
In Proceedings of the REFINE 2005 Workshop, Vol. 137, No. 2. (2005), pp. 163-181.
|
| |
|
| |
|
| |
In Communicating Sequential Processes, Vol. 3525 (2005), pp. 36-60.
|
| |
In Communicating Sequential Processes, Vol. 3525 (2005), pp. 61-74.
|
| |
In Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2004), Vol. 125, No. 1. (2005), pp. 25-41.
|
| |
Computer Standards & Interfaces, Vol. 27, No. 5. (2005), pp. 457-466.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2004), Vol. 125, No. 1. (2005), pp. 3-12.
|
| |
|
| |
In Proceedings of the REFINE 2005 Workshop, Vol. 137, No. 2. (2005), pp. 225-242.
|
| |
In Proceedings of the REFINE 2005 Workshop, Vol. 137, No. 2. (2005), pp. 23-44.
|
| |
Theoretical Computer Science, Vol. 335, No. 2-3. (2005), pp. 131-146.
|
CiteULike
michaelbanks's CiteULike
Search
