3733 search results - page 16 / 747 » Logics of communication and change |
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— ARP cache poisoning is considered to be one of the easiest and dangerous attacks in local area networks. This paper proposes a solution to the ARP poisoning problem by extendin...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
ISCC
2005
IEEE
14 years 3 months ago
2005
IEEE
VTC
2010
IEEE
13 years 8 months ago
2010
IEEE
FAC
2008
13 years 10 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...