E- text books

Network and System Security

Author : Yan 

Springer

Access online

Rewriting, Computation and Proof

Author : Comon-Lundh 

Springer

Access online

Control and Automation

Author : Ślęzak 

Springer

Access online

Principles of Security and Trust

Author : Focardi 

Springer

Access online