3811 search results - page 273 / 763 » The Safe-Tcl Security Model |
140
click to vote
SPW
2001
Springer
15 years 11 months ago
2001
Springer
Although the notion of negotiation has been used extensively in secure communication protocols to establish common keying states, protocol modes and services, this notion is only n...
166
click to vote
UTP
2010
15 years 4 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
161
click to vote
IACR
2011
14 years 6 months ago
2011
We aim at constructing adaptive oblivious transfer protocols, enjoying fully simulatable security, from various well-known assumptions such as DDH, d-Linear, QR, DCR, and LWE. To t...
201
click to vote
PET
2012
Springer
13 years 9 months ago
2012
Springer
Real-time statistics on smart meter consumption data must preserve consumer privacy and tolerate smart meter failures. Existing protocols for this private distributed aggregation m...
192
click to vote
CARDIS
2008
Springer
15 years 8 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...