1123 search results - page 193 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
128
click to vote
CSREASAM
2010
15 years 23 days ago
2010
Nowadays, Network Intrusion Detection Systems are quickly updated in order to prevent systems against new attacks. This situation has provoked that attackers focus their efforts on...
132
click to vote
DIMACS
1996
15 years 5 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
111
click to vote
PERCOM
2008
ACM
16 years 3 months ago
2008
ACM
We describe an approach to automate certain highlevel implementation decisions in a pervasive application, allowing them to be postponed until run time. Our system enables a model...
150
click to vote
IJFCS
2006
15 years 4 months ago
2006
We introduce the networks of Mealy multiset automata, and study their computational power. The networks of Mealy multiset automata are computationally complete. 1 Learning from Mo...
158
click to vote
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—The group signature based security scheme is a promising approach to provision privacy in vehicular ad hoc networks (VANETs). In this paper, we propose a novel distributed key m...