The Open UniversitySkip to content
 

Formal eavesdropping and its computational interpretation

Abadi, Martin and Jurjens, Jan (2001). Formal eavesdropping and its computational interpretation. In: Theoretical Aspects of Computer Software (4th International Symposium, TACS 2001), Dec 2001, Sendai, Japan, Springer, pp. 82–94.

URL: http://www.springerlink.com/content/wfhk6qa8hfwkut...
Google Scholar: Look up in Google Scholar
Item Type: Conference Item
ISBN: 3-540-42736-8, 978-3-540-42736-0
Extra Information: Series ISSN: 0302-9743
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Item ID: 9555
Depositing User: Jan Jurjens
Date Deposited: 01 Oct 2007
Last Modified: 02 Dec 2010 20:04
URI: http://oro.open.ac.uk/id/eprint/9555
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk