Course slides.
C.Ardagna, E. Damiani, N. El Ioini “Open Source Systems Security Certification ,” Springer, 2008