General item icon

General item

Modelling unbounded parallel sessions of security protocols in CSP

Actions


Access Document


Files:

Authors


A.W. Roscoe More by this author
E. Kleiner More by this author
Publication date:
2006
URN:
uuid:2e65756e-9d4f-4945-9bc5-c9c654ad440e
Local pid:
cs:907

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP