Advances in Computer Science - ASIAN 2007. Computer and Network Security - Cervesato, Iliano (Springer Berlin Heidelberg, 2020)