Search Sciweavers | Sciweavers

276 search results - page 7 / 56

» Model Checking Groupware Protocols

click to vote

FUIN
2007

104views more FUIN 2007»

Modelling and Checking Timed Authentication of Security Protocols

13 years 10 months ago

Download pegaz.ipipan.waw.pl

In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...

Gizela Jakubowska, Wojciech Penczek

claim paper

Read More »

click to vote

CONCUR
2009
Springer

97views Distributed And Parallel Com...» more CONCUR 2009»

Query-Based Model Checking of Ad Hoc Network Protocols

14 years 5 months ago

Download www.cs.sunysb.edu

Abstract. A prominent source of complexity in the veriﬁcation of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...

Anu Singh, C. R. Ramakrishnan, Scott A. Smolka

claim paper

Read More »

click to vote

FMICS
2007
Springer

184views Formal Methods» more FMICS 2007»

An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications

14 years 4 months ago

Download fmt.isti.cnr.it

Abstract. In this paper we present an action/state-based logical framework for the analysis and veriﬁcation of complex systems, which relies on the deﬁnition of doubly labelled...

Maurice H. ter Beek, Alessandro Fantechi, Stefania...

claim paper

Read More »

click to vote

CCECE
2006
IEEE

202views Electrical And Computer Engi...» more CCECE 2006»

A New Model Checking Approach for Verifying Agent Communication Protocols

14 years 4 months ago