175 search results - page 10 / 35 » The formal verification of a reintegration protocol |
COMPSEC
2010
13 years 6 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
ASYNC
2007
IEEE
14 years 1 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
ECOWS
2006
Springer
14 years 1 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...
ICDCS
1998
IEEE
14 years 2 months ago
1998
IEEE
With the advancement of wireless network and mobile computing, there is an increasing need to build a mobile le system that can perform e ciently and correctly for accessing onlin...