90 search results - page 12 / 18 » AnBx - Security Protocols Design and Verification |
104
click to vote
ASPDAC
2001
ACM
15 years 2 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
100
click to vote
PDSE
1998
14 years 11 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
CANS
2006
Springer
15 years 2 months ago
2006
Springer
We address the multicast stream authentication problem when the communication channel is under the control of an opponent who can drop, reorder or inject data. In such a network m...
ENTCS
2008
14 years 10 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
104
click to vote
DGO
2004
14 years 11 months ago
2004
The interdisciplinary project uses a variety of research designs, data collection methodologies, and analysis techniques and two ballot designs to assess five commercially availab...