Return to home page
Searching: Muskingum library catalog
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference FPS 2011 (2011 : Paris, France)
Title Foundations and practice of security : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011 : revised selected papers / Joaquin Garcia-Alfaro, Pascal Lafourcade (eds.).
Imprint Heidelberg ; New York : Springer, 2012.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Series Lecture notes in computer science, 0302-9743 ; 6888
LNCS sublibrary: SL 4 - Security and cryptology
Lecture notes in computer science ; 6888.
LNCS sublibrary. SL 4, Security and cryptology.
Subject Computer security -- Congresses.
Computer networks -- Security measures -- Congresses.
Alt Name Garcia-Alfaro, Joaquin.
Lafourcade, Pascal.
Add Title FPS 2011
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Series Lecture notes in computer science, 0302-9743 ; 6888
LNCS sublibrary: SL 4 - Security and cryptology
Lecture notes in computer science ; 6888.
LNCS sublibrary. SL 4, Security and cryptology.
Subject Computer security -- Congresses.
Computer networks -- Security measures -- Congresses.
Alt Name Garcia-Alfaro, Joaquin.
Lafourcade, Pascal.
Add Title FPS 2011
Description 1 online resource (xiii, 251 pages) : illustrations (some color).
Contents Keynote Address. Preserving Privacy in Online Social Networks / Fatemeh Raji, Ali Miri, Mohammad Davarpanah Jazi -- Short Papers. TTP SmartCard-Based ElGamal Cryptosystem Using Threshold Scheme for Electronic Elections / Jordi Pujol-Ahullo, Roger Jardi-Cedo, Jordi Castella-Roca, Oriol Farras -- Automated Verification of Block Cipher Modes of Operation, an Improved Method / Martin Gagne, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini -- Pervasive Security and Threshold Cryptography. SC 2: Secure Communication over Smart Cards / Nicola Dragoni, Eduardo Lostal, Davide Papini, Javier Fabra -- Private Identification of RFID Tags / Behzad Malek, Ali Miri -- Threshold Encryption into Multiple Ciphertexts / Martin Stanek -- Encryption, Cryptanalysis and Automatic Verification. A Novel Commutative Blinding Identity Based Encryption Scheme / Yu Chen, Song Luo, Jianbin Hu, Zhong Chen.
A Related-Key Attack on Block Ciphers with Weak Recurrent Key Schedules / Marina Pudovkina -- A Computational Indistinguishability Logic for the Bounded Storage Model / Gilles Barthe, Mathilde Duclos, Yassine Lakhnech -- Keynote Addresses. Preventing the Cluster Formation Attack against the Hierarchical OLSR Protocol / Gimer Cervera, Michel Barbeau, Joaquin Garcia-Alfaro, Evangelos Kranakis -- Secret Key Establishment over Noisy Channels / Hadi Ahmadi, Reihaneh Safavi-Naini -- Formal Methods and Network Security. Formal Specification and Validation of Security Policies / Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Helene Kirchner -- Vote-Independence: A Powerful Privacy Notion for Voting Protocols / Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech -- Black-Box Property of Cryptographic Hash Functions / Michal Rjasko -- Phishing Detection with Popular Search Engines: Simple and Effective / Jun Ho Huh, Hyoungshick Kim.
Ongoing Research. A Contextual Privacy-Aware Access Control Model for Network Monitoring Workflows: Work in Progress / Eugenia I. Papagiannakopoulou, Maria N. Koukovini, Georgios V. Lioudakis -- A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress / Michel Embe Jiague, Marc Frappier, Frederic Gervais, Regine Laleau, Richard St-Denis -- Specification and Verification of Access Control Policies in EB3SEC: Work in Progress / Pierre Konopacki, Hakim Belhaouari, Marc Frappier, Regine Laleau -- A Metamodel of the B Modeling of Access-Control Policies: Work in Progress / Jeremy Milhau, Marc Frappier, Regine Laleau -- Formal Verification of a Key Establishment Protocol for EPC Gen2 RFID Systems: Work in Progress / Wiem Tounsi, Nora Cuppens-Boulahia, Frederic Cuppens, Joaquin Garcia-Alfaro.
Summary Annotation 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 methodsin network security.
Bibliography Note Includes bibliographical references and index.
Note Online resource; title from PDF title page (SpringerLink; viewed Mar. 13, 2012).
ISBN 9783642279010 (e-ISBN)
3642279015 (e-ISBN)
9783642279003
3642279007
ISBN/ISSN 10.1007/978-3-642-27901-0
Publisher # Best.-Nr.: 86040357
OCLC # 778886113
Additional Format Print version: FPS 2011 (2011 : Paris, France). Foundations and practice of security. Heidelberg ; New York : Springer, 2012 9783642279003 (DLC) 2011945035 (OCoLC)769420122