2006
A Framework for Automatically Checking Anonymity with mCRL
Publication
Publication
Presented at the
Symposium on Trustworthy Global Computing
Additional Metadata | |
---|---|
Elsevier B.V. | |
Electronic Notes in Theoretical Computer Science | |
Symposium on Trustworthy Global Computing | |
Organisation | Computer Security |
Chothia, T, Orzan, S.-M, Pang, J, & Dashti, M.T. (2006). A Framework for Automatically Checking Anonymity with mCRL. In Electronic Notes in Theoretical Computer Science. Elsevier B.V.
|
See Also |
---|