| |
Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 4789 (2007), pp. 151-170.
|
| |
|
| |
Unifying Theories of Programming In Unifying Theories of Programming, Vol. 4010 (2006), pp. 38-62.
|
| |
Engineering Secure Software and Systems In Engineering Secure Software and Systems, Vol. 5429 (2009), pp. 43-59.
|
| |
|
| |
Computer Security Foundations Workshop V, 1992. Proceedings. In 5th IEEE Computer Security Foundations Workshop (CSFW '92) (1992), pp. 22-33.
|
| |
Information Processing Letters, Vol. 41, No. 1. (21 January 1992), pp. 9-12.
|
| |
Information Processing Letters, Vol. 35, No. 1. (15 June 1990), pp. 19-22.
|
| |
Formal Aspects of Computing, Vol. 21, No. 1. (1 February 2009), pp. 133-154.
|
| |
Emerging Trends in Information and Communication Security In Emerging Trends in Information and Communication Security, Vol. 3995 (2006), pp. 352-367.
|
| |
In ASIACCS '07: Proceedings of the 2nd ACM symposium on Information, computer and communications security (2007), pp. 70-81.
|
| |
Formal Aspects of Computing, Vol. 21, No. 1. (1 February 2009), pp. 3-32.
|
| |
ACM Transactions in Programming Languages and Systems, Vol. 6, No. 2. (1984), pp. 281-296.
|
| |
|
| |
|
| |
Computer In Computer, Vol. 23, No. 9. (1990), pp. 8-24.
|
| |
In FMSE '08: Proceedings of the 6th ACM workshop on Formal methods in security engineering (2008), pp. 43-52.
|
| |
|
| |
Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 5256 (2008), pp. 278-297.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 162 (29 September 2006), pp. 273-276.
|
| |
|
| |
|
| |
Formal Methods in System Design, Vol. 18, No. 3. (2001), pp. 249-284.
|
| |
Communications of the ACM, Vol. 21, No. 8. (August 1978), pp. 666-677.
|
| |
Formal Aspects of Computing
|
| |
FME 2002:Formal Methods—Getting IT Right In Formal Methods -- Getting IT Right, Vol. 2391 (2002), pp. 1-15.
|
| |
IBM Journal of Research and Development, Vol. 31, No. 5. (September 1987), pp. 535-545.
|
| |
In 15th IEEE Computer Security Foundations Workshop (CSFW '02) (2002), pp. 18-31.
|
| |
|
| |
Formal Aspects of Computing, Vol. 8, No. 6. (1 November 1996), pp. 617-647.
|
| |
In ESORICS 90 -- First European Symposium on Research in Computer Security (1990), pp. 147-159.
|
| |
IEEE Transactions on Software Engineering, Vol. 16, No. 9. (1990), pp. 932-948.
|
| |
In Communicating Sequential Processes, Vol. 3525 (2005), pp. 243-263.
|
| |
In MFCSIT 2000, The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Vol. 40 (2001), pp. 361-391.
|
| |
Formal Aspects of Computing, Vol. 12, No. 3. (November 2000), pp. 165-181.
|
| |
In Computer Security -- ESORICS 96, Vol. 1146 (1996), pp. 198-218.
|
| |
In Proceedings of the 1996 IEEE Symposium on Security and Privacy (1996), pp. 174-187.
|
| |
In Computer Safety, Reliability, and Security, Vol. 4166 (2006), pp. 142-155.
|
| |
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. 3. (May 2008), pp. 277-294.
|
| |
Theoretical Computer Science, Vol. 315, No. 1. (May 2004), pp. 209-256.
|
| |
In Tools and Algorithms for the Construction and Analysis of Systems (1996), pp. 147-166.
|
| |
In Proceedings of the 1988 IEEE Symposium on Security and Privacy (1988), pp. 14-23.
|
| |
|
| |
In 14th IEEE Computer Security Foundations Workshop (CSFW '01) (2001), pp. 295-305.
|
| |
In Communicating Sequential Processes, Vol. 3525 (2005), pp. 61-74.
|
| |
In Refinement Techniques in Software Engineering, Vol. 3167 (2006), pp. 64-122.
|
| |
In Refinement Techniques in Software Engineering, Vol. 3167 (2006), pp. 220-268.
|
Search
Export
