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.

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
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

Actions (login may be required)

	View Item
RDF+XMLBibTeXRDF+N-TriplesJSONDublin CoreAtomOAI-ORE Resource Map (Atom Format)Simple MetadataReferMETSOAI-ORE Resource Map (RDF Format)HTML CitationASCII CitationMultiline CSVRefMan RIS Format (UTF-8)OpenURL ContextObjectEndNoteMODSOpenURL ContextObject in SpanMPEG-21 DIDLEP3 XMLRefMan RIS FormatRDF+N3Eprints Application Profile	Public: Report issue / request change