429 search results - page 69 / 86 » Compositionality of Secure Information Flow |
IWCMC
2010
ACM
13 years 10 months ago
2010
ACM
"Vehicle to Grid" power or V2G will be a new green energy scheme that allows electricity to flow from Electric Vehicles (EVs) to power lines. The objective of this paper...
OSDI
2008
ACM
14 years 8 months ago
2008
ACM
Computers are notoriously insecure, in part because application security policies do not map well onto traditional protection mechanisms such as Unix user accounts or hardware pag...
CRYPTO
2011
Springer
12 years 7 months ago
2011
Springer
Deterministic public-key encryption, introduced by Bellare, Boldyreva, and O’Neill (CRYPTO ’07), provides an alternative to randomized public-key encryption in various scenari...
FC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present a useful new mechanism that facilitates the atomic exchange of many large baskets of securities in a combinatorial exchange. Cryptography prevents information ...
CSFW
1999
IEEE
14 years 9 days ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...