MPG.eBooks - Search Results - "group theory"

Cover Image

1

Progress in Cryptology - VIETCRYPT 2006 : First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006, Revised Selected Papers

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... Provably Secure Group Key Agreement Building on Group Theory -- Public-Key Encryption -- Universally...”

Cover Image

2

FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Table of Contents: “... Symmetry Detection for Model Checking Using Computational Group Theory -- On Partitioning and Symbolic...”