SEC
2001
13 years 6 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...
ACSAC
2000
IEEE
13 years 9 months ago
2000
IEEE
Early IT security evaluation criteria like the TCSEC and the ITSEC suffered much criticism for their lack of coverage of privacy-related requirements. Recent evaluation criteria, ...
ICCSA
2004
Springer
13 years 10 months ago
2004
Springer
In the course of making electronic services and facilities more widely accessible and usable, more and more IT systems are incorporating smart cards as a component. We analyzes the...