000			03939nam a22005895i 4500
001			978-3-642-16280-0
003			DE-He213
005			20160624102150.0
007			cr nn 008mamaa
008			101009s2010 gw | s |||| 0|eng d
020			_a9783642162800 _9978-3-642-16280-0
024	7		_a10.1007/978-3-642-16280-0 _2doi
050		4	_aQA76.9.A25
072		7	_aURY _2bicssc
072		7	_aCOM053000 _2bisacsh
082	0	4	_a005.82 _223
245	1	0	_aProvable Security _h[electronic resource] : _b4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings / _cedited by Swee-Huay Heng, Kaoru Kurosawa.
260		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010.
300			_aX, 279 p. 26 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v6402
505	0		_aIdentification -- Improved Zero-Knowledge Identification with Lattices -- Identification Schemes of Proofs of Ability Secure against Concurrent Man-in-the-Middle Attacks -- Auto Proofs -- A Calculus for Game-Based Security Proofs -- Automating Computational Proofs for Public-Key-Based Key Exchange -- Signature I -- A Framework for Constructing Convertible Undeniable Signatures -- Efficient Confirmer Signatures from the “Signature of a Commitment” Paradigm -- Hash Function -- Collision Resistant Double-Length Hashing -- Interpreting Hash Function Security Proofs -- Protocol -- Formal and Precise Analysis of Soundness of Several Shuffling Schemes -- Distinguishing Distributions Using Chernoff Information -- Signature II -- A Suite of Non-pairing ID-Based Threshold Ring Signature Schemes with Different Levels of Anonymity (Extended Abstract) -- An Anonymous Designated Verifier Signature Scheme with Revocation: How to Protect a Company’s Reputation -- Invited Talk -- Cryptographic Protocols from Lattices -- Encryption -- A Timed-Release Proxy Re-encryption Scheme and Its Application to Fairly-Opened Multicast Communication -- Efficient Broadcast Encryption with Personalized Messages -- Toward an Easy-to-Understand Structure for Achieving Chosen Ciphertext Security from the Decisional Diffie-Hellman Assumption -- Signcryption -- Identity Based Public Verifiable Signcryption Scheme -- Fully Secure Threshold Unsigncryption.
520			_aThis book constitutes the proceedings of the 4th provable security conference held in Malacca, Malaysia in October 2010. The 17 papers presented were carefully reviewed and selected from 47 submissions. The papers are divided in topical sections on identification, auto proofs, signature, hash function, protocol, encryption, and signcryption.
650		0	_aComputer science.
650		0	_aComputer Communication Networks.
650		0	_aData protection.
650		0	_aData encryption (Computer science).
650		0	_aCoding theory.
650		0	_aComputer software.
650		0	_aInformation Systems.
650	1	4	_aComputer Science.
650	2	4	_aData Encryption.
650	2	4	_aComputer Communication Networks.
650	2	4	_aManagement of Computing and Information Systems.
650	2	4	_aAlgorithm Analysis and Problem Complexity.
650	2	4	_aSystems and Data Security.
650	2	4	_aCoding and Information Theory.
700	1		_aHeng, Swee-Huay. _eeditor.
700	1		_aKurosawa, Kaoru. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642162794
786			_dSpringer
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v6402
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-642-16280-0
942			_2EBK9359 _cEBK
999			_c38653 _d38653