21 search results - page 1 / 5 » Automated Verification of Communication Protocols Using CCS ... |
IPPS
1998
IEEE
14 years 23 days ago
1998
IEEE
KBSE
1998
IEEE
14 years 23 days ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
MICAI
2000
Springer
14 years 2 days ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
CAV
2001
Springer
14 years 5 days ago
2001
Springer
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
CCS
2010
ACM
13 years 6 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...