Analysis of access control protocols using labelled tableaux

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.