14850 search results - page 315 / 2970 » The Security of |
161
click to vote
AICCSA
2005
IEEE
16 years 1 months 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...
202
click to vote
ASWEC
2005
IEEE
16 years 1 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...
200
click to vote
CSFW
2005
IEEE
16 years 1 months 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...
183
click to vote
ICITA
2005
IEEE
16 years 1 months 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...
203
click to vote
ITCC
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents an approach to the architectural design and analysis of secure software systems based on the system requirements elicited in the form of use cases and misuse c...