Reconstructing a formal security model

Autor: Ahn, Gail-Joon , Hong, Seung-Phil, Shin, Michael E
Zdroj: In Information and Software Technology 2002 44(11):649-657
Databáze: ScienceDirect