1123 search results - page 103 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
147
click to vote
SIGMOD
2001
ACM
16 years 4 months ago
2001
ACM
This paper describes the methodology and implementation of a data management system for highly distributed systems, which was built to solve the scalability and reliability proble...
132
click to vote
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— The concept of providing mobile Internet connectivity for passengers in public transport vehicles, where users connect to a local network that attaches to the Internet v...
163
click to vote
ASPDAC
2001
ACM
15 years 8 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
143
click to vote
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a predictable and quantifiable approach to designing a covert communication system capable of effectively exploiting covert channels found in the various layer...
149
click to vote
SECON
2010
IEEE
15 years 2 months ago
2010
IEEE
Data aggregation in wireless sensor networks is vulnerable to security attacks and natural failures. A few nodes can drastically alter the result of the aggregation by reporting er...