School of Computing

Phone+44 (0)23 9284 6400
Email[email protected]
Websitehttp://www.port.ac.uk/school-of-computing/research/

Postal addressShow on map
Lion Terrace , Buckingham Building
PO1 3HE Portsmouth
United Kingdom

1 results

Filter

2005
A Denotational Approach to the Static Analysis of Cryptographic Processes
Aziz, B., Hamilton, G. W. & Gray, D., 1 Feb 2005, In: Electronic Notes in Theoretical Computer Science. 118, p. 19-36 18 p.
Research output: Contribution to journal › Conference article › peer-review