276 search results - page 4 / 56 » Model Checking Groupware Protocols |
163
Voted
AINA
2004
IEEE
15 years 9 months ago
2004
IEEE
IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify PAP and EAP-MD5 based securit...
149
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
137
click to vote
ICDCSW
2000
IEEE
15 years 10 months ago
2000
IEEE
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
137
click to vote
IPPS
2007
IEEE
16 years 2 days ago
2007
IEEE
In this paper, we report our work [24, 26] on extending the J-Sim network simulator [13] to be an integrated environment for both simulation and model checking of network protocol...
220
click to vote
SCN
2011
Springer
15 years 22 days ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...