| |
Computer Network Security In Computer Network Security, Vol. 3685 (2005), pp. 206-220.
|
| |
Architecting Systems with Trustworthy Components In Architecting Systems with Trustworthy Components, Vol. 3938 (2006), pp. 137-151.
|
| |
|
| |
Journal of Computer Security, Vol. 3, No. 1. (1995), pp. 5-34.
|
| |
Third International Conference on Availability, Reliability and Security In Third International Conference on Availability, Reliability and Security, Vol. 0 (March 2008), pp. 80-87.
|
| |
|
| |
|
| |
Information Systems Security In Information Systems Security, Vol. 5352 (2008), pp. 26-40.
|
| |
Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings In 7th IEEE Computer Security Foundations Workshop (CSFW '94) (1994), pp. 2-10.
|
| |
Computer Security -- ESORICS 2005 In Computer Security -- ESORICS 2005, Vol. 3679 (2005), pp. 418-437.
|
| |
Software and Systems Modeling (2009)
|
| |
Software and Systems Modeling, Vol. 6, No. 2. (1 June 2007), pp. 185-204.
|
| |
In FMSE '05: Proceedings of the 2005 ACM workshop on Formal methods in security engineering (2005), pp. 53-62.
|
| |
Computer Security Foundations Workshop III, 1990. Proceedings In 3rd IEEE Computer Security Foundations Workshop (1990), pp. 44-50.
|
| |
Computer Security Foundations Workshop, IEEE In 9th IEEE Computer Security Foundations Workshop, Vol. 0 (1996), pp. 116-122.
|
| |
Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings In 7th IEEE Computer Security Foundations Workshop (1994), pp. 126-136.
|
| |
Journal of the ACM, Vol. 25, No. 3. (1978), pp. 461-480.
|
| |
No. 87-874. (October 1987)
|
| |
12th IEEE Computer Security Foundations Workshop In 12th IEEE Computer Security Foundations Workshop (1999), pp. 92-95.
|
| |
Software and Systems Modeling, Vol. 8, No. 1. (2009), pp. 45-65.
|
| |
Information Processing Letters, Vol. 36, No. 1. (1 October 1990), pp. 25-30.
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 4, No. 3. (1982), pp. 455-495.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 236 (2009), pp. 65-84.
|
| |
In NSPW '97: Proceedings of the 1997 workshop on New security paradigms (1997), pp. 83-93.
|
| |
IEEE Transactions on Software Engineering In IEEE Transactions on Software Engineering, Vol. 23, No. 9. (1997), pp. 550-571.
|
| |
Information and Computation, Vol. 148, No. 1. (10 January 1999), pp. 1-70.
|
| |
Static Analysis In Static Analysis, Vol. 1694 (1999), pp. 330-354.
|
| |
Proceedings of the 2002 IEEE Symposium on Security and Privacy In Proceedings of the 2002 IEEE Symposium on Security and Privacy (2002), pp. 88-101.
|
| |
Information Processing Letters, Vol. 21, No. 4. (7 October 1985), pp. 181-185.
|
| |
IEEE Transactions in Software Engineering, Vol. 22, No. 1. (1996), pp. 53-67.
|
| |
Computer Security - ESORICS 2000 In Computer Security -- ESORICS 2000, Vol. 1895 (2000), pp. 238-254.
|
| |
Proceedings of the 1997 IEEE Symposium on Security and Privacy In Proceedings of the 1997 IEEE Symposium on Research in Security and Privacy (1997), pp. 94-102.
|
| |
|
| |
In Proceedings of the 1996 IEEE Symposium on Security and Privacy (1996), pp. 174-187.
|
| |
In Proceedings of the 1995 IEEE Symposium on Security and Privacy (1995), pp. 114-127.
|
| |
In Proceedings of the REFINE 2005 Workshop, Vol. 137, No. 2. (2005), pp. 163-181.
|
| |
In Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA 2006), Vol. 168 (February 2007), pp. 61-75.
|
| |
In Proceedings of the 1994 IEEE Symposium on Security and Privacy (1994), pp. 79-93.
|
| |
In Proceedings of the 1988 IEEE Symposium on Security and Privacy (1988), pp. 177-186.
|
| |
No. 79-91. (September 1991)
|
| |
In Proceedings of the 2001 IEEE Symposium on Security and Privacy (2001), pp. 78-91.
|
| |
Journal of Computer Security, Vol. 1, No. 4. (1992), pp. 385-411.
|
| |
In Proceedings of the 4th BCS-FACS Refinement Workshop (1991), pp. 441-455.
|
| |
IEEE Transactions on Software Engineering, Vol. 17, No. 11. (1991), pp. 1186-1194.
|
| |
|
| |
In Developments in Concurrency and Communication (1990), pp. 221-237.
|
| |
Computer Standards & Interfaces, Vol. 27, No. 5. (2005), pp. 457-466.
|
| |
In 4th IEEE Computer Security Foundations Workshop (CSFW '91) (1991), pp. 35-42.
|
| |
Journal of Computer Security, Vol. 1, No. 2. (1992), pp. 159-188.
|
| |
In Foundations of Security Analysis and Design II, Vol. 2946 (2004), pp. 139-185.
|
CiteULike
michaelbanks's CiteULike
Search
Export
