| |
|
| |
In Recent Advances in Applied Mathematics and Computational and Information Sciences, Vol. II (2009), pp. 437-440.
|
| |
Journal of Computer Security, Vol. 11, No. 4. (1 January 2003), pp. 615-676.
|
| |
|
| |
In Millennial Perspectives in Computer Science (Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare (2000), pp. 229-246.
|
| |
1997 IEEE Symposium on Security and Privacy In 1997 IEEE Symposium on Security and Privacy (1997), pp. 31-42.
|
| |
Computer Networks, Vol. 33, No. 1-6. (June 2000), pp. 77-93.
|
| |
Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE In 20th IEEE Computer Security Foundations Symposium (CSF'07) (July 2007), pp. 3-15.
|
| |
Journal of Systems and Software, Vol. 82, No. 1. (January 2009), pp. 101-111.
|
| |
No. CSE-98-3. (30 Sep 1998)
|
| |
|
| |
Policies for Distributed Systems and Networks, 2008. POLICY 2008. IEEE Workshop on In 2008 IEEE Workshop on Policies for Distributed Systems and Networks - POLICY (June 2008), pp. 245-246.
|
| |
Software and Systems Modeling (2009)
|
| |
Foundations of Software Science and Computational Structures In Foundations of Software Science and Computational Structures, Vol. 3441 (2005), pp. 299-315.
|
| |
TAPSOFT '97: Theory and Practice of Software Development In TAPSOFT '97: Theory and Practice of Software Development, Vol. 1214 (1997), pp. 607-621.
|
| |
|
| |
Communications of the ACM, Vol. 30, No. 8. (August 1987), pp. 672-686.
|
| |
|
| |
|
| |
In Information Processing 86 (1986), pp. 515-518.
|
| |
The Computer Journal, Vol. 35, No. 6. (1 December 1992), pp. 567-573.
|
| |
No. ECMA-367. (June 2006)
|
| |
Computer Security – ESORICS 2005 In Computer Security – ESORICS 2005, Vol. 3679 (2005), pp. 197-221.
|
| |
In POPL '80: Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1980), pp. 251-261.
|
| |
ESOP '90 In ESOP '90, Vol. 432 (1990), pp. 134-151.
|
| |
Formal Aspects of Computing, Vol. 10, No. 2. (21 November 1998), pp. 187-192.
|
| |
ACM Transactions in Programming Languages and Systems, Vol. 10, No. 3. (1988), pp. 403-419.
|
| |
|
| |
Recent Trends in Data Type Specification In Recent Trends in Data Type Specification, Vol. 906 (1995), pp. 81-115.
|
| |
16th International Conference on Software Engineering (ICSE-16) In 16th International Conference on Software Engineering (ICSE-16) (1994), pp. 223-227.
|
| |
|
| |
|
| |
|
| |
IEEE Intelligent Systems In IEEE Intelligent Systems, Vol. 24, No. 2. (24 March 2009), pp. 8-12.
|
| |
|
| |
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 168 (08 February 2007), pp. 91-107.
|
| |
Journal of Computer Security, Vol. 4, No. 2-3. (1996), pp. 167-187.
|
| |
|
| |
|
| |
In 26th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages (POPL '99) (1999), pp. 228-241.
|
| |
Designs, Codes and Cryptography, Vol. 7, No. 1-2. (1996), pp. 27-59.
|
| |
IEEE Journal on Selected Areas in Communications, Vol. 21, No. 1. (2003), pp. 5-19.
|
| |
In Proceedings of the 1988 IEEE Symposium on Security and Privacy (1988), pp. 14-23.
|
| |
|
CiteULike
michaelbanks's CiteULike
Search
Export
