Ji Ma. Analysis of access control protocols using labelled tableaux. In Nick Savage, Safwan El Assad, Charles A. Shoniregun, editors, 7th International Conference for Internet Technology and Secured Transactions, ICITST 2012, London, United Kingdom, December 10-12, 2012. pages 610-615, IEEE, 2012. [doi]
Abstract is missing.