Verifying the EROS confinement mechanism
- Jonathan S. Shapiro
- Sam Weber
- 2000
- Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy
Publications
Date
Featured collections
Popular topics
2 results at Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy
Efficient authentication and signing of multicast streams over lossy channels
- Adrian Perrig
- Ran Canetti
- et al.
- 2000
- Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy