1123 search results - page 14 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
FROCOS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
105
click to vote
RSP
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
COMCOM
2008
14 years 11 months ago
2008
The issue of breaking cycles in communication networks is an important topic for several reasons. For instance, it is required when transparent bridges are filling the forwarding ...
102
Voted
COMCOM
2006
14 years 11 months ago
2006
the extensibility and evolution of network services and protocols had become a major research issue in recent years. The 'programmable' and 'active' network par...
122
click to vote
ISEMANTICS
2010
14 years 10 months ago
2010
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...