Sciweavers

COMCOM
2000
82views more  COMCOM 2000»
13 years 3 months ago
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
Jean-Pierre Courtiat, C. A. S. Santos, Christophe ...
COMCOM
2000
130views more  COMCOM 2000»
13 years 3 months ago
Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
Daniel Amyot, Luigi Logrippo
COMCOM
2000
79views more  COMCOM 2000»
13 years 3 months ago
Jikzi - a new framework for security policy, trusted publishing and electronic commerce
In this paper, we describe a thread of research which we have followed off and on at Cambridge for about three years. Our topic is the security of electronic documents, in the bro...
Ross J. Anderson, Jong-Hyeon Lee
COMCOM
2000
60views more  COMCOM 2000»
13 years 3 months ago
Key agreement in ad hoc networks
N. Asokan, Philip Ginzboorg