14824 search results - page 314 / 2965 » Security - Introduction |
202
click to vote
ACSAC
2005
IEEE
16 years 11 days ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
144
click to vote
AICCSA
2005
IEEE
16 years 11 days ago
2005
IEEE
OpenSST (Open Simple Secure Transaction) is a free software project and aims to create an efficient, open and secure alternative to the secure proprietary transaction protocol. Op...
182
click to vote
ASWEC
2005
IEEE
16 years 11 days 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...
168
click to vote
CSFW
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
164
click to vote
ICITA
2005
IEEE
16 years 10 days ago
2005
IEEE
Security protocols are indispensable in secure communication. We give an operational semantics of security protocols in terms of a Prolog-like language. With this semantics, we ca...