1123 search results - page 9 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
FATES
2004
Springer
15 years 5 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
112
click to vote
SIGSOFT
2007
ACM
16 years 13 days ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
115
click to vote
ACSW
2006
15 years 1 months ago
2006
To provide card holder authentication while they are conducting an electronic transaction using mobile devices, VISA and MasterCard independently proposed two electronic payment p...
WISEC
2010
ACM
14 years 12 months ago
2010
ACM
Physical-layer identification of wireless devices, commonly referred to as Radio Frequency (RF) fingerprinting, is the process of identifying a device based on transmission imperf...