6555 search results - page 332 / 1311 » Secure attribute-based systems |
195
click to vote
PLDI
2005
ACM
16 years 8 days ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
170
click to vote
COMPSEC
2010
15 years 5 months ago
2010
Making backup is so cumbersome and expensive that individuals hardly ever backup their data and companies usually duplicate their data into a secondary server. This paper proposes...
154
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
We examine some known attacks on the PIN verification framework, based on weaknesses of the security API for the tamperresistant Hardware Security Modules used in the network. We s...
167
Voted
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
189
click to vote
CSFW
2006
IEEE
16 years 23 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...