| |
Foundations and Applications of Security Analysis In Foundations and Applications of Security Analysis, Vol. 5511 (2009), pp. 1-17.
|
| |
In CIS'09: Proceedings of the international conference on Computational and information science 2009 (2009), pp. 437-440.
|
| |
Journal of Computer Security, Vol. 11, No. 4. (1 January 2003), pp. 615-676.
|
| |
Architecting Systems with Trustworthy Components In Architecting Systems with Trustworthy Components, Vol. 3938 (2006), pp. 137-151.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 135, No. 1. (5 July 2005), pp. 39-58.
|
| |
|
| |
Computer Security Foundations Symposium, IEEE, Vol. 0 (2007), pp. 233-248.
|
| |
In Sicherheit, Vol. 62 (2005), pp. 113-124.
|
| |
Physical Review Letters, Vol. 103, No. 3. (2009), 038702.
|
| |
Mechanizing Mathematical Reasoning In Mechanizing Mathematical Reasoning, Vol. 2605 (2005), pp. 452-475.
|
| |
Security and Privacy, IEEE Symposium on In 30th IEEE Symposium on Security and Privacy, Vol. 0 (2009), pp. 141-153.
|
| |
|
| |
|
| |
Information Systems Security In Information Systems Security, Vol. 5352 (2008), pp. 26-40.
|
| |
In PLAS '09: Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (2009), pp. 125-131.
|
| |
|
| |
Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings In 7th IEEE Computer Security Foundations Workshop (CSFW '94) (1994), pp. 2-10.
|
| |
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.
|
| |
BMC Bioinformatics, Vol. 10, No. 1. (2009), 241.
|
| |
ACM Transactions on Information and System Security, Vol. 12, No. 1. (2008), pp. 1-47.
|
| |
Engineering Secure Software and Systems In Engineering Secure Software and Systems, Vol. 5429 (2009), pp. 60-74.
|
| |
Logic-Based Program Synthesis and Transformation In Logic-Based Program Synthesis and Transformation, Vol. 4407 (2007), pp. 94-110.
|
| |
In FMSE '05: Proceedings of the 2005 ACM workshop on Formal methods in security engineering (2005), pp. 53-62.
|
| |
In SACMAT '06: Proceedings of the eleventh ACM symposium on Access control models and technologies (2006), pp. 150-159.
|
| |
Foundations of Software Science and Computational Structures In Foundations of Software Science and Computational Structures, Vol. 3441 (2005), pp. 299-315.
|
| |
Formal Aspects in Security and Trust In Formal Aspects in Security and Trust, Vol. 4691 (2007), pp. 235-249.
|
| |
7th IEEE Computer Security Foundations Workshop (CSFW '94) In 7th IEEE Computer Security Foundations Workshop (CSFW '94) (1994), pp. 11-21.
|
| |
In 18th IEEE Computer Security Foundations Workshop (CSFW'05) (2005), pp. 255-269.
|
| |
In CCS '08: Proceedings of the 15th ACM conference on Computer and communications security (2008), pp. 279-288.
|
| |
TAPSOFT '97: Theory and Practice of Software Development In TAPSOFT '97: Theory and Practice of Software Development, Vol. 1214 (1997), pp. 607-621.
|
| |
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.
|
| |
|
| |
Requirements Engineering Visualization, First International Workshop on, Vol. 0 (2008), pp. 31-40.
|
| |
Physica A: Statistical and Theoretical Physics, Vol. 337, No. 1-2. (1 June 2004), pp. 327-335.
|
| |
Selected Areas in Communications, IEEE Journal on In Selected Areas in Communications, IEEE Journal on, Vol. 21, No. 1. (2003), pp. 5-19.
|
| |
Foundations of Software Science and Computational Structures In Foundations of Software Science and Computational Structures, Vol. 5504 (2009), pp. 288-302.
|
| |
Software and Systems Modeling, Vol. 8, No. 1. (2009), pp. 45-65.
|
| |
IEEE Computer Society Symposium on Research in Security and Privacy In IEEE Computer Society Symposium on Research in Security and Privacy (1992), pp. 164-176.
|
| |
Machine Learning and Cybernetics, 2007 International Conference on In Machine Learning and Cybernetics, 2007 International Conference on, Vol. 7 (2007), pp. 3699-3703.
|
| |
Knowledge and Process Management, Vol. 5, No. 1. (1998), pp. 29-40.
|
| |
Modeling and Using Context: Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999. Proceedings (1999), pp. 830-830.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 236 (2009), pp. 65-84.
|
| |
25th IEEE International Conference on Distributed Computing Systems Workshops In 25th IEEE International Conference on Distributed Computing Systems Workshops (2005), pp. 114-120.
|
| |
Synthese, Vol. 167, No. 2. (1 March 2009), pp. 231-249.
|
| |
|
| |
Lecture Notes in Computer Science : New Directions in Rough Sets, Data Mining, and Granular-Soft Computing (1999), pp. 314-323.
|
| |
In SACMAT '02: Proceedings of the seventh ACM symposium on Access control models and technologies (2002), pp. 163-168.
|
| |
PLoS computational biology, Vol. 5, No. 4. (10 April 2009), e1000350.
|
| |
|
Search
