A languagebased approach to security (2000)

by F B Schneider, G Morrisett, R Harper
Venue:In Informatics—10 Years Back, 10 Years Ahead, volume 2000 of LNCS