| |
Computer Network Security In Computer Network Security, Vol. 3685 (2005), pp. 206-220.
|
| |
In Recent Advances in Applied Mathematics and Computational and Information Sciences, Vol. II (2009), pp. 437-440.
|
| |
Third International Conference on Availability, Reliability and Security In Third International Conference on Availability, Reliability and Security, Vol. 0 (March 2008), pp. 80-87.
|
| |
|
| |
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.
|
| |
|
| |
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.
|
| |
In POLICY '01: Proceedings of the International Workshop on Policies for Distributed Systems and Networks, Vol. 1995 (2001), pp. 18-38.
|
| |
|
| |
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.
|
| |
In 1st IEEE Computer Security Foundations Workshop (CSFW '88) (1988), pp. 98-111.
|
| |
Software and Systems Modeling (2009)
|
| |
Software and Systems Modeling, Vol. 6, No. 2. (1 June 2007), pp. 185-204.
|
| |
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.
|
| |
IBM Journal of Research and Development, Vol. 31, No. 5. (1987), pp. 546-555.
|
| |
ACM Computing Surveys, Vol. 41, No. 2. (2009), pp. 1-76.
by Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, et al.Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy Vilkomir, Martin R. Woodward, Hussein Zedan
|
| |
|
| |
In Information Processing 86 (1986), pp. 515-518.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems In Tools and Algorithms for the Construction and Analysis of Systems, Vol. 1055 (1996), pp. 70-86.
|
| |
The Computer Journal, Vol. 35, No. 6. (1 December 1992), pp. 567-573.
|
| |
No. MPI-I-96-2-003. (February 1996)
|
| |
In Algebraic Foundations of Systems Specification (1999)
|
| |
IEEE Symposium on Security and Privacy In IEEE Symposium on Security and Privacy (1996), pp. 12-21.
|
| |
Distributed Systems In Distributed Systems, Vol. 190 (1985), pp. 203-285.
|
| |
|
| |
In POPL '80: Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1980), pp. 251-261.
|
| |
TAPSOFT '95: Theory and Practice of Software Development In TAPSOFT '95: Theory and Practice of Software Development, Vol. 915 (1995), pp. 82-96.
|
| |
Verified Software: Theories, Tools, Experiments In Verified Software: Theories, Tools, Experiments, Vol. 4171 (2008), pp. 64-69.
|
| |
|
| |
ACM Computing Surveys, Vol. 31, No. 3es. (September 1999)
|
| |
In 7th International Software Quality Week (1994)
|
| |
Computer, Vol. 20, No. 9. (1987), pp. 85-91.
|
| |
Software Engineering Journal, Vol. 11, No. 2. (1996), pp. 104-110.
|
| |
Formal Aspects of Computing, Vol. 10, No. 2. (21 November 1998), pp. 187-192.
|
| |
Communications of the ACM, Vol. 32, No. 1. (January 1989), pp. 32-45.
|
| |
|
| |
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.
|
| |
|
| |
Integrated Formal Methods In Integrated Formal Methods, Vol. 4591 (2007), pp. 480-500.
|
| |
Software Engineering Journal, Vol. 7, No. 5. (September 1992), pp. 323-334.
|
| |
Software Engineering Journal, Vol. 4, No. 6. (1989), pp. 330-338.
|
| |
SIGSOFT Software Engineering Notes, Vol. 14, No. 5. (1989), pp. 43-54.
|
| |
Science of Computer Programming, Vol. 2, No. 1. (1982), pp. 53-68.
|
| |
|
CiteULike
michaelbanks's CiteULike
Search
Export
