Foundations and Practice of Security : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Pascal Lafourcade.

Format:

Book

Contributor:

Garcia-Alfaro, Joaquin, editor.

Lafourcade, Pascal, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Security and cryptology ; SL 4, 6888.

Security and Cryptology ; 6888

Language:

English

Subjects (All):

Data encryption (Computer science).

Software engineering.

Management information systems.

Computer science.

Computer networks.

Algorithms.

Computer logic.

Cryptology.

Software Engineering.

Management of Computing and Information Systems.

Computer Communication Networks.

Algorithm Analysis and Problem Complexity.

Logics and Meanings of Programs.

Local Subjects:

Cryptology.

Software Engineering.

Management of Computing and Information Systems.

Computer Communication Networks.

Algorithm Analysis and Problem Complexity.

Logics and Meanings of Programs.

Physical Description:

1 online resource (XIII, 253 pages).

Edition:

First edition 2012.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

System Details:

text file PDF

Summary:

This book constitutes the carefully refereed and revised selected papers of the 4th Canada-France MITACS Workshop on Foundations and Practice of Security, FPS 2011, held in Paris, France, in May 2011. The book contains a revised version of 10 full papers, accompanied by 3 keynote addresses, 2 short papers, and 5 ongoing research reports. The papers were carefully reviewed and selected from 30 submissions. The topics covered are pervasive security and threshold cryptography; encryption, cryptanalysis and automatic verification; and formal methods in network security.

Other Format:

Printed edition:

ISBN:

978-3-642-27901-0

9783642279010

Access Restriction:

Restricted for use by site license.