848 search results - page 60 / 170 » Secure Information Flow for Distributed Systems |
110
click to vote
CCS
2005
ACM
15 years 5 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
118
click to vote
EUROPKI
2009
Springer
14 years 9 months ago
2009
Springer
Current PKI-based email systems (such as X.509 S/MIME and PGP/ MIME) potentially enable a recipient to determine a name and organizational affiliation of the sender. This informati...
116
click to vote
WWW
2010
ACM
15 years 6 months ago
2010
ACM
Alhambra is a browser-based system designed to enforce and test web browser security policies. At the core of Alhambra is a policyenhanced browser supporting fine-grain security ...
103
click to vote
AC
2000
Springer
14 years 11 months ago
2000
Springer
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...
117
click to vote
IDTRUST
2010
ACM
14 years 10 months ago
2010
ACM
Public Key technology is about multiple parties across different domains making assertions that can be chained together to make trust judgments. Today, the need for more interoper...