1638 search results - page 6 / 328 » Properties of input-consuming derivations |
ASWEC
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper proposes an approach of defining systemslevel security properties of component-based composite systems. It argues that the security properties of a composite system ca...
SPLC
2004
14 years 11 months ago
2004
A fundamental reason for investing in product families is to minimize the application engineering costs. Several organizations that employ product families, however, are becoming i...
128
click to vote
CTRSA
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Many real-world protocols, such as SSL/TLS, SSH, IPsec, IEEE 802.11i, DNSSEC, and Kerberos, derive new keys from other keys. To be able to analyze such protocols in a com...
MPC
2010
Springer
15 years 2 months ago
2010
Springer
IWVF
2001
Springer
15 years 2 months ago
2001
Springer