1.

Record Nr.

UNISA996465890003316

Titolo

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

Pubbl/distr/stampa

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

ISBN

3-642-27901-5

Edizione

[1st ed. 2012.]

Descrizione fisica

1 online resource (XIII, 253 p.)

Collana

Security and Cryptology ; ; 6888

Classificazione

SS 4800

Disciplina

005.82

Soggetti

Data encryption (Computer science)

Software engineering

Management information systems

Computer science

Computer communication systems

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

Kongress2011.Paris

Conference proceedings.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Sommario/riassunto

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.

2.

Record Nr.

UNIORUON00401226

Titolo

Akademie der Wissenschaften und der Literature : Abhandlungen Geistes- und Sozialwissenschaftlichen Klasse

Pubbl/distr/stampa

Wiesbaden, : Steiner

Lingua di pubblicazione

Non definito

Formato

Materiale a stampa

Livello bibliografico

Collezione