8644 search results - page 1398 / 1729 » On the Composition of Secure Systems |
194
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
Cloud computing environments allow customers to execute arbitrary code on hardware owned by a cloud provider. While cloud providers use virtualization to ensure isolation between ...
173
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
171
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
Non-interactive zero-knowledge (NIZK) proof systems are fundamental cryptographic primitives used in many constructions, including CCA2-secure cryptosystems, digital signatures, an...
276
click to vote
LISA
2008
15 years 9 months ago
2008
Two common tools in Linux- and UNIX-based environments are SSH for secure communications and sudo for performing administrative tasks. These are independent programs with substant...
144
click to vote
NSDI
2008
15 years 9 months ago
2008
Discretization is used in click-based graphical passwords so that approximately correct entries can be accepted by the system. We show that the existing discretization scheme of B...