Process calculi and the verification of security protocols
Recently there has been much interest towards using formal methods in the analysis of security protocols. Some recent approaches take advantage of concepts and techniques from the field of process calculi. Process calculi can be given a formal yet simple semantics, which permits rigorous definition...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
National Institute of Telecommunications
2002-12-01
|
| Series: | Journal of Telecommunications and Information Technology |
| Subjects: | |
| Online Access: | https://jtit.pl/jtit/article/view/147 |