116
Voted
SEC
2001
15 years 4 months ago
2001
There is a strong demand for techniques to aid development and modelling of security critical systems. Based on general security evaluation criteria, we show how to extend the syst...