Dalziel - Automated Security Analysis of Android and IOS Applications - X555z

Moedersheim - ory of Security and Applications Joint Workshop TOSCA - X555z

Degano - Formal Aspects of Security and Trust 7th International Work - X555z

Degano - Principles of Security and Trust First International Confer - X555z

Bridges - Foundations of Real and Abstract Analysis - New paperback or - X555z

Aldini - Foundations of Security Analysis and Design VIII FOSAD 2014 - X555z

Malozemov - Foundations of Discrete Harmonic Analysis - New paperback - X555z

Aldini - Foundations of Security Analysis and Design VII FOSAD 2012 - X555z