1597 search results - page 183 / 320 » Mental Models of Computer Security |
153
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
165
click to vote
ICEGOV
2007
ACM
15 years 8 months ago
2007
ACM
Compared to the last decades, we have recently seen more and more governmental applications which are provided via the Internet directly to the citizens. Due to the long history o...
130
click to vote
RP
2009
Springer
15 years 11 months ago
2009
Springer
We describe the class of games with opacity condition, as an adequate model for security aspects of computing systems. We study their theoretical properties, relate them to reachab...
146
Voted
ISSA
2004
15 years 6 months ago
2004
Computer security, and intrusion detection in particular, has become increasingly important in today's business environment, to help ensure safe and trusted commerce between ...
128
click to vote
PERCOM
2008
ACM
16 years 4 months ago
2008
ACM
We present a tamper-proof and lightweight challenge-response authentication scheme based on 2-level noisy Physically Unclonable Functions (PUF). We present a security reduction, w...