A Semiformal Approach to the Security Problem of the Target of Evaluation (TOE) Modeling.

Andrzej Bialas A Semiformal Approach to the Security Problem of the Target of Evaluation (TOE) Modeling. 19-25 2006 conf/csreaSAM/2006 Security and Management db/conf/csreaSAM/csreaSAM2006.html#Bialas06