A type-based approach to pro-gram security (1997)

by Dennis Volpano , Geoffrey Smith
Venue:In Proceedings of the 7th International Joint Conference on the Theory and Practice of Software Devel-opment
Citations:133 - 4 self