1106 search results - page 78 / 222 » Automated Design of Security Protocols |
126
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. A pipeline protocol is captured in a graph-based model which defines the partial order...
140
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
148
click to vote
ICMB
2005
IEEE
15 years 10 months ago
2005
IEEE
SIP appears to be a powerful and useful signaling protocol supporting mobility for wireless IP networks but it has inherent weaknesses and dangers. This paper is a study on the se...
160
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
155
click to vote
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. Tools that can help humans an...