| |
Formal Methods for Open Object-Based Distributed Systems In Formal Methods for Open Object-Based Distributed Systems, Vol. 4037 (2006), pp. 138-155.
|
| |
Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 4789 (2007), pp. 151-170.
|
| |
Computer Security Foundations Symposium, IEEE, Vol. 0 (2007), pp. 233-248.
|
| |
Journal of Applied Logic, Vol. 5, No. 2. (June 2007), pp. 303-332.
|
| |
In SACMAT '07: Proceedings of the 12th ACM symposium on Access control models and technologies (2007), pp. 215-224.
|
| |
Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE In 20th IEEE Computer Security Foundations Symposium (CSF'07) (July 2007), pp. 3-15.
|
| |
In 21st ACM SIGOPS symposium on Operating Systems Principles (SOSP '07) (2007), pp. 31-44.
|
| |
In 16th USENIX Security Symposium on USENIX Security Symposium (SS'07) (2007), pp. 1-16.
|
| |
Oikos, Vol. 116, No. 5. (May 2007), pp. 723-727.
|
| |
Science of Computer Programming In Special issue on the 11th Static Analysis Symposium - SAS 2004, Vol. 64, No. 1. (01 January 2007), pp. 3-28.
|
| |
In HOTSEC'07: Proceedings of the 2nd USENIX workshop on Hot topics in security (2007), pp. 1-6.
|
| |
Software and Systems Modeling, Vol. 6, No. 2. (1 June 2007), pp. 185-204.
|
| |
Formal Aspects in Security and Trust In Formal Aspects in Security and Trust, Vol. 4691 (2007), pp. 235-249.
|
| |
Fundamenta Informaticae, Vol. 77, No. 1-2. (2007), pp. 1-28.
|
| |
In ASIACCS '07: Proceedings of the 2nd ACM symposium on Information, computer and communications security (2007), pp. 70-81.
|
| |
In BCS-FACS Christmas 2007 Meeting - Formal Methods In Industry (December 2007)
|
| |
Journal of the American Society for Information Science and Technology, Vol. 58, No. 2. (15 January 2007), pp. 212-222.
|
| |
|
| |
Integrated Formal Methods In Integrated Formal Methods, Vol. 4591 (2007), pp. 353-372.
|
| |
Integrated Formal Methods In Integrated Formal Methods, Vol. 4591 (2007), pp. 480-500.
|
| |
Journal of Universal Computer Science, Vol. 13, No. 5. (2007), pp. 669-678.
|
| |
Formal Methods: Applications and Technology In Formal Methods: Applications and Technology, Vol. 4346 (2007), pp. 211-226.
|
| |
No. CS-TR-999. (January 2007)
|
| |
In OOPSLA '07: Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion (2007), pp. 1026-1030.
|
| |
Journal of Universal Computer Science, Vol. 13, No. 5. (2007), pp. 619-628.
|
| |
Computer Security – ESORICS 2007 In Computer Security – ESORICS 2007, Vol. 4734 (2008), pp. 594-609.
|
| |
International Conference on Wireless Communications, Networking and Mobile Computing (WiCom 2007) In International Conference on Wireless Communications, Networking and Mobile Computing (WiCom 2007) (2007), pp. 1829-1832.
|
| |
|
| |
2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07) In 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07) (2007), pp. 153-160.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 168 (08 February 2007), pp. 91-107.
|
| |
|
| |
|
| |
In FMSE '07: Proceedings of the 2007 ACM workshop on Formal methods in security engineering (2007), pp. 1-1.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 194, No. 1. (08 November 2007), pp. 3-22.
|
| |
In ACSC '07: Proceedings of the thirtieth Australasian conference on Computer science (2007), pp. 171-180.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 187 (15 July 2007), pp. 107-123.
|
| |
Formal Aspects of Computing
|
| |
No. CMU-CS-07-108. (2007)
|
| |
In {Proceedings of the Workshop on Issues in the Theory of Security (WITS '07)} (2007)
|
| |
Malware Detection In Malware Detection, Vol. 27 (2007), pp. 291-307.
|
| |
Formal Aspects of Computing, Vol. 19, No. 4. (November 2007), pp. 475-485.
|
| |
In Formal Aspects in Security and Trust, Vol. 4691 (2007), pp. 143-157.
|
| |
IEEE Spectrum, Vol. 44, No. 7. (July 2007), pp. 26-33.
|
| |
|
| |
In Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA 2006), Vol. 168 (February 2007), pp. 61-75.
|
| |
No. YCST-2007-12. (April 2007)
|
| |
|
| |
No. LSV-07-10. (February 2007)
|
| |
|
CiteULike
michaelbanks's CiteULike
Search
