Security Properties of Typed Applets
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 147-182
- https://doi.org/10.1007/3-540-48749-2_7
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- The SwitchWare active network architectureIEEE Network, 1998
- Trust in the λ-calculusJournal of Functional Programming, 1997
- Reasoning about cryptographic protocols in the spi calculusPublished by Springer Nature ,1997
- Secrecy by typing in security protocolsPublished by Springer Nature ,1997
- Java is type safe — ProbablyPublished by Springer Nature ,1997
- A type system equivalent to flow analysisACM Transactions on Programming Languages and Systems, 1995
- An Extension of System F with SubtypingInformation and Computation, 1994
- Inheritance as implicit coercionInformation and Computation, 1991
- Certification of programs for secure information flowCommunications of the ACM, 1977
- A lattice model of secure information flowCommunications of the ACM, 1976