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, Sendai, Japan, October 29-31, 2001, Proceedings (Kobayashi, Naoki and Pierce, Benjamin C. eds.), Lecture Notes In Computer Science, Springer, Berlin, 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
Mathematics, Computing and Technology
Item ID: 9555
Depositing User: Jan Jurjens
Date Deposited: 01 Oct 2007
Last Modified: 14 Jan 2016 16:46
URI: http://oro.open.ac.uk/id/eprint/9555
Share this page:

▼ Automated document suggestions from open access sources

Actions (login may be required)

Policies | Disclaimer

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