343 search results - page 46 / 69 » Formal security analysis of PKCS |
167
click to vote
SIGMOD
2006
ACM
15 years 12 months ago
2006
ACM
For Web applications in which the database component is the bottleneck, scalability can be provided by a third-party Database Scalability Service Provider (DSSP) that caches appli...
CCS
2004
ACM
15 years 5 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
192
click to vote
POPL
2006
ACM
16 years 3 days ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
104
click to vote
TIFS
2008
14 years 11 months ago
2008
In autonomous mobile ad-hoc networks, one major challenge is to stimulate cooperation among selfish nodes, especially when some nodes may be malicious. In this paper, we address co...
CSFW
2007
IEEE
15 years 6 months ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...