201 search results - page 20 / 41 » Security Properties of Typed Applets |
135
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
There has been significant recent interest in game theoretic approaches to security, with much of the recent research focused on utilizing the leader-follower Stackelberg game mod...
145
Voted
LICS
2002
IEEE
15 years 8 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
135
click to vote
CCS
2010
ACM
15 years 3 months ago
2010
ACM
A communication channel from an honest sender A to an honest receiver B can be described as a system with three interfaces labeled A, B, and E (the adversary), respectively, where...
113
Voted
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
138
click to vote
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...