3811 search results - page 63 / 763 » The Safe-Tcl Security Model |
SP
2007
IEEE
15 years 6 months ago
2007
IEEE
Information-flow security policies are an appealing way of specifying confidentiality and integrity policies in information systems. Most previous work on language-based securit...
CCS
2005
ACM
15 years 5 months ago
2005
ACM
Protocols for authenticated key exchange (AKE) allow parties within an insecure network to establish a common session key which can then be used to secure their future communicati...
113
click to vote
PKC
2007
Springer
15 years 6 months ago
2007
Springer
: This paper addresses the security of optimistic fair exchange in a multi-user setting. While the security of public key encryption and public key signature schemes in a single-us...
ESORICS
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
IEEEIAS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...