Provable Security: First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007 Proceedings (Lecture Notes in Computer Science)
暫譯: 可證明安全性：第一屆國際會議，ProvSec 2007，澳洲沃隆岡，2007年11月1-2日 會議錄（計算機科學講義）

Description

This book constitutes the refereed proceedings of the First International Conference on Provable Security, ProvSec 2007, held in Wollongong, Australia, October 31 - November 2, 2007.

The 10 revised full papers presented together with 7 short papers were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on Authentication, Asymmetric Encryption, Signature, Protocol and Proving Technique, Authentication and Symmetric Encryption, Signature and Asymmetric Encryption.