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.

DOI: https://doi.org/10.1007/3-540-45500-0_4

URL: http://www.springerlink.com/content/wfhk6qa8hfwkut...

Viewing alternatives

Metrics

Item Actions

Export

You can export this page using these formats Digital Object Identifier - DOI

About

• Item ORO ID
• 9555
• Item Type
• Conference or Workshop Item
• ISBN
• 3-540-42736-8, 978-3-540-42736-0
• Extra Information
• Series ISSN: 0302-9743
• Academic Unit or School
• Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
  Faculty of Science, Technology, Engineering and Mathematics (STEM)
• Depositing User
• Jan Jurjens