This book constitutes revised selected papers from the 4th International Workshop on Graphical Mo...

This volume constitutes the thoroughly refereed post-conference proceedings of the Second Interna...

Security protocols are widely used to ensure secure communications over insecure networks, such a...

This book constitutes the refereed proceedings of the 10th International Workshop on Security and...

This book constitutes the refereed proceedings of the 5th European Public Key Infrastructure Work...

This book constitutes the proceedings of the 15th International Workshop on Security and Trust Ma...

Security protocols are widely used to ensure secure communications over insecure networks, suc...

This book constitutes the refereed proceedings of the 10th International Workshop on Security and...

Security protocols are widely used to ensure secure communications over insecure networks, suc...

This volume contains the proceedings of the 10th International Conference on Concurrency Theory (...

This book constitutes the refereed proceedings of the 5th European Public Key Infrastructure Work...