Proving security protocols with model checkers by data independence techniques
A. W. Roscoe and P.J. Broadfoot
Details
| Journal |
Journal of Computer Security |
| Volume |
7 |
| Year |
1999 |
Links
Related pages
|
People |
|
|
Activities |