Secrecy in Programming-Language Semantics
1999 ◽
Vol 20
◽
pp. 80-94
◽
2017 ◽
Vol 261
◽
pp. 57-75