27 search results - page 3 / 6 » Regular Protocols and Attacks with Regular Knowledge |
IDTRUST
2009
ACM
14 years 2 days ago
2009
ACM
Organizations owning cyber-infrastructure assets face large scale distributed attacks on a regular basis. In the face of increasing complexity and frequency of such attacks, we ar...
ACTA
2010
13 years 5 months ago
2010
Systems of Data Management Timed Automata (SDMTAs) are networks of communicating timed automata with structures to store messages and functions to manipulate them. We prove the dec...
ECRIME
2007
13 years 9 months ago
2007
Educational materials designed to teach users not to fall for phishing attacks are widely available but are often ignored by users. In this paper, we extend an embedded training m...
CN
2007
13 years 5 months ago
2007
The proliferation of heterogeneous devices and diverse networking technologies demands flexible models to guarantee the quality-of-service(QoS) at the application session level, ...
DAC
2002
ACM
14 years 6 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...