1123 search results - page 33 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
108
click to vote
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
100
click to vote
CCS
2005
ACM
15 years 5 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
PERCOM
2008
ACM
14 years 11 months ago
2008
ACM
RFID technology shall increase security, e.g. by helping to prevent counterfeiting. But the technology also causes privacy issues. In this paper, after highlighting goals and prob...
ROOM
2000
15 years 1 months ago
2000
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until impl...