Search Books

Formal aspects in security and... 手動新增

edited by Pierpaolo Degano, Joshua Guttman, Fabio Martinelli.

Springer Berlin Heidelberg

Formal aspects of security and... 手動新增

edited by Pierpaolo Degano, Sandro Etalle, Joshua Guttman.

Springer Berlin Heidelberg

Principles of security and tru... 手動新增

edited by Pierpaolo Degano, Joshua D. Guttman.

Springer Berlin Heidelberg

Concurrency, Graphs and Models... 手動新增

edited by Pierpaolo Degano, Rocco Nicola, Jose Meseguer.

Springer-Verlag Berlin Heidelberg

Formal Aspects in Security and... 手動新增

edited by Theo Dimitrakos, Fabio Martinelli.

International Federation for Information Processing

Foundations of Security Analys... 手動新增

edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli.

Springer-Verlag GmbH.