Proving security protocols with model checkers by data independence techniques
A. W. Roscoe
Details
| Book Title |
Proceedings of CSFW 1998 |
| Publisher |
IEEE Press |
| Year |
1998 |
Links
Related pages
|
People |
|
|
Activities |