Search Sciweavers | Sciweavers

175 search results - page 5 / 35

» The formal verification of a reintegration protocol

click to vote

ASWEC
2006
IEEE

150views Software Engineering» more ASWEC 2006»

Formal Verification of the IEEE 802.11i WLAN Security Protocol

14 years 1 months ago

Download www98.griffith.edu.au

With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...

Elankayer Sithirasenan, Saad Zafar, Vallipuram Mut...

claim paper

Read More »

click to vote

FAABS
2004
Springer

138views Intelligent Agents» more FAABS 2004»

Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols

13 years 11 months ago

Download madeira.ls.fi.upm.es

The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...

Jaime Ramírez, Angélica de Antonio

claim paper

Read More »

click to vote

ICCD
2005
IEEE

78views Hardware» more ICCD 2005»

Formal Verification and its Impact on the Snooping versus Directory Protocol Debate

14 years 4 months ago