2363 search results - page 118 / 473 » How Secure is RFID |
138
click to vote
CRYPTO
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we show that any two-party functionality can be securely computed in a constant number of rounds, where security is obtained against malicious adversaries that may ar...
127
Voted
SP
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
149
Voted
WETICE
1997
IEEE
15 years 9 months ago
1997
IEEE
: Bugs in network application program can be exploited to compromise the system on which the application is running. When running these applications in an unsafe environment such a...
166
click to vote
CSFW
2007
IEEE
15 years 9 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
127
click to vote
INTERACT
2007
15 years 6 months ago
2007
The design of usable yet secure systems raises crucial questions when it comes to balancing properly security and usability. Finding the right tradeoff between these two quality at...