1
Verified Software: Theories, Tools, Experiments [E-Book] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

Full text 
Favorites
Saved in:
2
Formal Methods for Components and Objects (vol. # 4111) [E-Book] / 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Full text 
Favorites
Saved in:
3
Information Security Applications (vol. # 3786) [E-Book] / 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers

Full text 
Favorites
Saved in:
4
Topics in Cryptology -- CT-RSA 2006 [E-Book] / The Cryptographers' Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005, Proceedings

Full text 
Favorites
Saved in:
5
Recent Advances in Intrusion Detection (vol. # 3858) [E-Book] / 8th International Symposium, RAID 2005, Seattle, WA, USA, September 7-9, 2005, Revised Papers

Full text 
Favorites
Saved in:
6
Privacy Enhancing Technologies (vol. # 3856) [E-Book] / 5th International Workshop, PET 2005, Cavtat, Croatia, May 30 - June 1, 2005, Revised Selected Papers

Full text 
Favorites
Saved in:
7
Formal Aspects in Security and Trust (vol. # 3866) [E-Book] / Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers

Full text 
Favorites
Saved in:
8
Large-Scale Scientific Computing [E-Book] / 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers

Full text 
Favorites
Saved in:
9
Computer Supported Cooperative Work in Design II [E-Book] / 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

Full text 
Favorites
Saved in:
10
Selected Areas in Cryptography (vol. # 3897) [E-Book] / 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers

Full text 
Favorites
Saved in:
11
Engineering Self-Organising Systems (vol. # 3910) [E-Book] / Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

Full text 
Favorites
Saved in:
12
Information Security and Cryptology - ICISC 2005 [E-Book] / 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers

Full text 
Favorites
Saved in:
13
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) [E-Book] / Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Full text 
Favorites
Saved in:
14
Principles of Distributed Systems (vol. # 3974) [E-Book] / 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper

Full text 
Favorites
Saved in:
15
Distributed and Parallel Systems [E-Book] : Cluster and Grid Computing /

Full text 
Favorites
Saved in:
16
Security Protocols (vol. # 3364) [E-Book] / 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers

Full text 
Favorites
Saved in:
17
Cryptographic Hardware and Embedded Systems - CHES 2005 [E-Book] / 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings

Full text 
Favorites
Saved in:
18
Secure Data Management (vol. # 3674) [E-Book] / Second VLDB Workshop, SDM 2005, Trondheim, Norway, August 30-September 2, 2005, Proceedings

Full text 
Favorites
Saved in:
19
Formal Aspects in Security and Trust [E-Book] : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France /

Full text 
Favorites
Saved in:
20
Reliable Distributed Systems [E-Book] : Technologies, Web Services, and Applications /

Full text 
Favorites
Saved in:

Narrow Search Results