3482 search results - page 315 / 697 » Designing for security |
170
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
The design and implementation of a national computing system and data grid has become a reachable goal from both the computer science and computational science point of view. A di...
177
click to vote
TRUST
2010
Springer
15 years 5 months ago
2010
Springer
Physical Uncloneable Functions (PUF) are systems whose physical behavior to different inputs can be measured reliably, yet cannot be cloned in a physical replica. Existing designs ...
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...
217
click to vote
IACR
2011
14 years 6 months ago
2011
Abstract. Radio Frequency Identification (RFID) systems are vulnerable to relay attacks (i.e., mafia, terrorist and distance frauds) when they are used for authentication purpose...
155
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...