Modelling unbounded parallel sessions of security protocols in CSP
A. W. Roscoe and E. Kleiner
Details
| Year |
2006 |
Links
Related pages
|
People |
|
|
Activities |
A. W. Roscoe and E. Kleiner
| Year |
2006 |
|
People |
|
|
Activities |