89 search results - page 1 / 18 » Secure Composition of Insecure Components |
CSFW
1999
IEEE
13 years 9 months ago
1999
IEEE
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
CCS
2003
ACM
13 years 10 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
ACSAC
2001
IEEE
13 years 9 months ago
2001
IEEE
CCS
2010
ACM
13 years 5 months ago
2010
ACM
IPsec allows a huge amount of flexibility in the ways in which its component cryptographic mechanisms can be combined to build a secure communications service. This may be good fo...
IASTEDSEA
2004
13 years 6 months ago
2004
Design by Contract is a design methodology that promotes software reliability and reusability by requiring each component module to have a well-specified interface and leaves a mo...