2281 search results - page 88 / 457 » Security Patterns and Secure Systems Design |
111
Voted
CSFW
1995
IEEE
15 years 4 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
96
Voted
COMPSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
Many agent-based systems have been developed over the past decade; however, the security issues are usually not addressed adequately. In order to make the mobile agent paradigm mo...
115
Voted
SP
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper, we propose BIND (Binding Instructions aNd Data),1 a fine-grained attestation service for securing distributed systems. Code attestation has recently received consi...
138
Voted
CRYPTO
2011
Springer
14 years 7 days ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
145
click to vote
ISCA
2011
IEEE
14 years 4 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...