Skip to content

Implementing the ADVISE security modeling formalism in Mbius.

Michael D. Ford, Ken Keefe, Elizabeth LeMay, William H. Sanders, Carol Muehrcke

VenueADSN
Year2013
ProceedingsDSN

Browse the full DSN paper archive.