The Shadow Knows: Refinement of Ignorance in Sequential Programs
Author:
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 359-378
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Anonymity and information hiding in multiagent systems2004
- Symbolic model checking the knowledge of the dining cryptographers2004
- Secrecy in multiagent systems2003
- Security specifications2003
- Preserving information flow properties under refinement2002
- Refinement Calculus1998
- The dining cryptographers problem: Unconditional sender and recipient untraceabilityJournal of Cryptology, 1988
- Power domainsJournal of Computer and System Sciences, 1978
- Information transmission in computational systemsACM SIGOPS Operating Systems Review, 1977
- An axiomatic basis for computer programmingCommunications of the ACM, 1969