scientific article; zbMATH DE number 1330433

zbMath0924.68115MaRDI QIDQ4261075

Martín Abadi

Publication date: 20 September 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=20#20006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

secrecy property of programs

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Semantics in the theory of computing (68Q55)

Related Items (1)

Linearity and bisimulation

This page was built for publication: