| |
Architecting Systems with Trustworthy Components In Architecting Systems with Trustworthy Components, Vol. 3938 (2006), pp. 137-151.
|
| |
|
| |
|
| |
In PLAS '09: Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (2009), pp. 125-131.
|
| |
In 16th USENIX Security Symposium on USENIX Security Symposium (SS'07) (2007), pp. 1-16.
|
| |
|
| |
Engineering Secure Software and Systems In Engineering Secure Software and Systems, Vol. 5429 (2009), pp. 43-59.
|
| |
Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings In 7th IEEE Computer Security Foundations Workshop (CSFW '94) (1994), pp. 2-10.
|
| |
In GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit"), Vol. 36 (2003), pp. 383-394.
|
| |
Computer Security -- ESORICS 2005 In Computer Security -- ESORICS 2005, Vol. 3679 (2005), pp. 418-437.
|
| |
Journal of Computer Security, Vol. 12, No. 1. (2004), pp. 3-36.
|
| |
|
| |
6th IEEE International Conference on Software Engineering and Formal Methods (SEFM '08) In 6th IEEE International Conference on Software Engineering and Formal Methods (SEFM '08) (November 2008), pp. 107-116.
|
| |
|
| |
Computer Aided Verification In Computer Aided Verification, Vol. 5643 (2009), pp. 173-187.
|
| |
Security Protocols In Security Protocols, Vol. 3364 (2005), pp. 178-182.
|
| |
12th IEEE Computer Security Foundations Workshop In 12th IEEE Computer Security Foundations Workshop (1999), pp. 92-95.
|
| |
SIGKDD Explorations Newsletter, Vol. 4, No. 2. (December 2002), pp. 20-27.
|
| |
In Computer Security Handbook (2002)
|
| |
In NSPW '92-93: Proceedings on the 1992-1993 workshop on New security paradigms (1993), pp. 48-52.
|
| |
No. CMU-CS-07-108. (2007)
|
| |
In Proceedings of the 1996 IEEE Symposium on Security and Privacy (1996), pp. 174-187.
|
| |
In Computer Security -- ESORICS 2006, Vol. 4189 (2006), pp. 225-242.
|
| |
In Computer Safety, Reliability, and Security, Vol. 4166 (2006), pp. 142-155.
|
| |
In Computer Security -- ESORICS 2002, Vol. 2502 (2002), pp. 194-211.
|
| |
In 12th IEEE Computer Security Foundations Workshop (CSFW '99) (1999), pp. 214-227.
|
| |
In Proceedings of the 1995 IEEE Symposium on Security and Privacy (1995), pp. 114-127.
|
| |
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.
|
| |
|
| |
In 14th IEEE Computer Security Foundations Workshop (CSFW '01) (2001), pp. 295-305.
|
| |
Computer Standards & Interfaces, Vol. 27, No. 5. (2005), pp. 457-466.
|
| |
In 8th IEEE Computer Security Foundations Workshop (CSFW '95) (1995), pp. 136-145.
|
| |
In 7th IEEE Computer Security Foundations Workshop (CSFW '94) (1994), pp. 150-160.
|
| |
In Automata, Languages and Programming, Vol. 4052 (2006), pp. 107-118.
|
CiteULike
michaelbanks's CiteULike
Search
Export
