Automating Open Bisimulation Checking for the Spi Calculus

Citation

Tiu, A & Dawson, J 2010, 'Automating Open Bisimulation Checking for the Spi Calculus', IEEE Computer Security Foundations Symposium 2010, IEEE Computer Society, pp. 307 - 321.

Year

2010

ANU Authors

Field of Research

  • Computer System Security

Updated:  29 March 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers