12183 search results - page 451 / 2437 » Computers under Attacks! |
178
click to vote
ASM
2005
ASM
16 years 12 days ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
168
click to vote
ICISC
2009
15 years 4 months ago
2009
At CANS 2008, Mashatan and Stinson suggested a message recognition protocol for ad hoc pervasive networks. The protocol provides a procedure to resynchronize in case of a (possibly...
181
click to vote
IJACT
2010
15 years 1 months ago
2010
A party may choose to reuse ephemeral public keys in a Diffie-Hellman key agreement protocol in order to reduce its computational workload or to mitigate against denial-of-service ...
222
Voted
TCOS
2010
15 years 1 months ago
2010
With the increasing wealth of digital information stored on computer systems today, security issues have become increasingly important. In addition to attacks targeting the softwar...
179
Voted
MOBISYS
2011
ACM
14 years 9 months ago
2011
ACM
The rapid growth of mobile malware necessitates the presence of robust malware detectors on mobile devices. However, running malware detectors on mobile devices may drain their ba...