Lessons learned using alloy to formally specify MLS-PCA trusted security architecture Conference Paper

authors

Hashii, Brant

publication date

October 29, 2004

has subject area

published in

https://forschungsatlas.fid-bau.de/individual/ Geographic Location

Digital Object Identifier (DOI)

https://doi.org/10.1145/1029133.1029145