عنوان

Principles of security and trust :

شابک

3642368298

شابک

9783642368295

شماره

b567830

عنوان اصلي

Principles of security and trust :

نام عام مواد

[Book]

ساير اطلاعات عنواني

second international conference, POST 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings

نام نخستين پديدآور

David Basin, John C. Mitchell (eds.).

محل نشرو پخش و غیره

Berlin ; New York

نام ناشر، پخش کننده و غيره

Springer

تاریخ نشرو بخش و غیره

©2013.

نام خاص و کميت اثر

xx, 286 pages : illustrations ; 24 cm.

عنوان فروست

Lecture notes in computer science, 7796.; Lecture notes in computer science., Advanced research in computing and software science.; LNCS sublibrary., SL 4,, Security and cryptology.

متن يادداشت

International conference proceedings.

متن يادداشت

Regular Papers --; Formal Analysis of Privacy for Routing Protocols in Mobile Ad Hoc Networks / Rémy Chrétien, Stéphanie Delaune --; Practical Everlasting Privacy / Myrto Arapinis, Véronique Cortier, Steve Kremer, Mark Ryan --; A Differentially Private Mechanism of Optimal Utility for a Region of Priors / Ehab ElSalamouny, Konstantinos Chatzikokolakis, Catuscia Palamidessi --; Proved Generation of Implementations from Computationally Secure Protocol Specifications / David Cadé, Bruno Blanchet --; Sound Security Protocol Transformations / Binh Thanh Nguyen, Christoph Sprenger. Logical Foundations of Secure Resource Management in Protocol Implementations / Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei --; Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage / Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis --; Lazy Mobile Intruders / Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson --; On Layout Randomization for Arrays and Functions / Martín Abadi, Jérémy Planul --; A Theory of Agreements and Protection / Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino. Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification / Michael Backes, Fabian Bendun, Dominique Unruh --; Proving More Observational Equivalences with ProVerif / Vincent Cheval, Bruno Blanchet --; Formal Verification of e-Auction Protocols / Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech --; Sessions and Separability in Security Protocols / Marco Carbone, Joshua D. Guttman.

عنوان اصلي به زبان ديگر

POST 2013; ETAPS 2013

موضوع مستند نشده

Computer networks -- Security measures -- Congresses.

موضوع مستند نشده

Computer security -- Congresses.

موضوع مستند نشده

Data encryption (Computer science) -- Congresses.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

David Basin, John C. Mitchell (eds.).

مستند نام اشخاص تاييد نشده

David Basin

مستند نام اشخاص تاييد نشده

John C Mitchell

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y