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
2010ANU Authors
Field of Research
- Computer System Security