1123 search results - page 20 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
PERCOM
2007
ACM
15 years 11 months ago
2007
ACM
In this work, we consider privacy in Radio Frequency IDentification (RFID) systems. Our contribution is threefold: (1) We propose a simple, formal definition of strong privacy usef...
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
This paper provides a general mechanism and a solid theoretical basis for performing planning within Belief-Desire-Intention (BDI) agents. BDI agent systems have emerged as one of...
115
click to vote
FMICS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
ENTCS
2008
14 years 11 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
84
Voted
USENIX
1993
15 years 1 months ago
1993
In this paper we present an architecture and prototype implementation for discovering key network characteristics, such as hosts, gateways, and topology. The Fremont system uses a...