E- text books

Secure IT Systems

Author : Gruschka 

Springer

Access online

Computer Aided Verification

Author : Lahiri 

Springer

Access online