123 search results - page 9 / 25 » Composable Security in the Bounded-Quantum-Storage Model |
CSFW
2006
IEEE
15 years 1 months ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
PROVSEC
2009
Springer
15 years 4 months ago
2009
Springer
Secure set-intersection computation is one of important problems in secure multiparty computation with various applications. We propose a general construction for secure 2-party se...
CARDIS
2008
Springer
14 years 11 months ago
2008
Springer
We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is...
109
click to vote
CSFW
2012
IEEE
12 years 12 months ago
2012
IEEE
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...