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

Viewing alternatives

Item Actions

Export

About

Recommendations