| |
Computer Security - ESORICS 2000 (2000), pp. 17-36.
|
| |
Abstract State Machines, B and Z In Abstract State Machines, B and Z, Vol. 5238 (2008), pp. 181-194.
|
| |
|
| |
|
| |
|
| |
Journal of Applied Logic, Vol. 1, No. 5-6. (October 2003), pp. 309-392.
|
| |
Formal Aspects in Security and Trust In Formal Aspects in Security and Trust, Vol. 4691 (2007), pp. 235-249.
|
| |
|
| |
Abstract State Machines, B and Z In Abstract State Machines, B and Z, Vol. 5238 (2008), pp. 294-308.
|
| |
Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 5256 (2008), pp. 25-44.
|
| |
Fundamenta Informaticae, Vol. 77, No. 1-2. (2007), pp. 1-28.
|
| |
|
| |
Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 4260 (2006), pp. 588-605.
|
| |
In Proceedings of the 7th National Computer Security Conference (September 1984), pp. 88-119.
|
| |
No. ISO/IEC 9126-1. (2001)
|
| |
IEEE Computer Society Symposium on Research in Security and Privacy In IEEE Computer Society Symposium on Research in Security and Privacy (1992), pp. 164-176.
|
| |
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 309-329.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 277-307.
|
| |
|
| |
Quality of Protection (2006), pp. 93-105.
|
| |
Foundations of Security Analysis and Design In Foundations of Security Analysis and Design, Vol. 2171 (2001), pp. 137-196.
|
| |
|
| |
In 14th IEEE Computer Security Foundations Workshop (CSFW '01) (2001), pp. 160-173.
|
| |
In PLAS '08: Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security (2008), pp. 45-56.
|
| |
In ACM SIGSOFT First Alloy Workshop (2006), pp. 38-47.
|
| |
Journal of Visual Languages & Computing, Vol. 19, No. 2. (April 2008), pp. 153-181.
|
| |
|
| |
Proceedings of the 1992 IEEE Symposium on Security and Privacy In Proceedings of the 1992 IEEE Symposium on Security and Privacy (1992), pp. 137-147.
|
| |
In Encyclopedia of Software Engineering, Vol. 2 (1994), pp. 1136-1145.
|
| |
ACM Transactions on Computer Systems, Vol. 2, No. 3. (August 1984), pp. 198-222.
|
| |
21st Annual Computer Security Applications Conference In 21st Annual Computer Security Applications Conference (7 December 2005), pp. 337-351.
|
| |
In Proceedings of the 5th Princeton Symposium on Information Sciences and Systems (March 1971), pp. 437-443.
|
| |
|
| |
Security and Privacy, 1988. Proceedings., 1988 IEEE Symposium on In Proceedings of the 1988 IEEE Symposium on Security and Privacy (1988), pp. 8-13.
|
| |
In Proceedings of the 1987 IEEE Symposium on Security and Privacy (1987), pp. 123-131.
|
| |
Proceedings of the 1987 IEEE Symposium on Security and Privacy In Proceedings of the 1987 IEEE Symposium on Security and Privacy, Vol. 0 (1987), pp. 60-66.
|
| |
Computer, Vol. 26, No. 11. (1993), pp. 9-19.
|
| |
ACM Computer Surveys, Vol. 37, No. 1. (March 2005), pp. 29-41.
|
| |
|
| |
|
| |
In Proceedings of the 1984 IEEE Symposium on Security and Privacy (1984), pp. 195-202.
|
| |
In 12th IEEE Computer Security Foundations Workshop (CSFW '99) (1999), pp. 192-202.
|
| |
IEEE Computer, Vol. 29, No. 2. (February 1996), pp. 38-47.
|
| |
In Foundations of Security Analysis and Design, Vol. 2171 (2001), pp. 1-62.
|
| |
|
| |
|
| |
In Proceedings of the 1995 IEEE Symposium on Security and Privacy (1995), pp. 114-127.
|
| |
Formal Aspects of Computing, Vol. 20, No. 1. (January 2008), pp. 21-39.
|
| |
In Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA 2006), Vol. 168 (February 2007), pp. 61-75.
|
CiteULike
michaelbanks's CiteULike
Search
Export
