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) (Kobayashi, Naoki and Pierce, Benjamin C. eds.), Dec 2001, Sendai, Japan, Springer, pp. 82–94.

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
Share this page:

Actions (login may be required)

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340