A Framework for Automatically Checking Anonymity with mCRL

2006

Presented at the Symposium on Trustworthy Global Computing

Additional Metadata
THEME	Software (theme 1)
Publisher	Elsevier B.V.
Series	Electronic Notes in Theoretical Computer Science
Conference	Symposium on Trustworthy Global Computing
Organisation	Computer Security
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Chothia, T., Orzan, S.-M., Pang, J.& Dashti, M. (2006, January). A Framework for Automatically Checking Anonymity with mCRL. Electronic Notes in Theoretical Computer Science.

See Also
inProceedings Q-Automata: Modelling the Resource Usage of Concurrent Components T. Chothia (Tom) and J. Kleijn
article Connector Colouring I: Synchronisation and Context Dependency D.G. Clarke (David), D. Costa (David) and F. Arbab (Farhad)
inProceedings Q-Automata: Modelling the Resource Usage of Concurrent Components T. Chothia (Tom) and J. Kleijn
article Connector Colouring I: Synchronisation and Context Dependency D.G. Clarke (David), D. Costa (David) and F. Arbab (Farhad)

Publication