4 search results - page 1 / 1 » A Data-Driven Finite State Machine Model for Analyzing Secur... |
DSN
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper combines an analysis of data on security vulnerabilities (published in Bugtraq database) and a focused source-code examination to develop a finite state machine (FSM) m...
FSE
2004
Springer
14 years 4 months ago
2004
Springer
We present a realization of an LFSM that utilizes an LFSR. This is based on a well-known fact from linear algebra. This structure is used to show that a previous attempt at using a...
ICDCS
2007
IEEE
14 years 5 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
INFOCOM
2006
IEEE
14 years 5 months ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...