Principles of security and trust : third international conference, POST 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8414. Advanced Research in Computing and Software Science)

Principles of security and trust : third international conference, POST 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France.

(Lecture Notes in Computer Science ; 8414. Advanced Research in Computing and Software Science)

Call No. (NDL): M17-14-2141
Bibliographic ID of National Diet Library: 025388796

Material type: 図書

Author: POST (Conference) (3rd : 2014 : Grenoble, France)ほか

Publisher: Springer

Publication date: c2014.

Material Format: Paper

Capacity, size, etc.: xviii, 305 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers."ETAPS is an annual federated conference (...) and this year consisted of six constituting conferences (CC, ESOP, FASE, FoSSaCS, TACAS, and POS...

Other physical details：: ill.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783642547911 (paperback)
9783642547928 (e-ISBN)
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Principles of security and trust : third international conference, POST 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France.
Series Title: Lecture Notes in Computer Science ; 8414. Advanced Research in Computing and Software Science
Title Heading: Lecture notes in computer science ; 8414. 0302-9743
Lecture notes in computer science. Advanced research in computing and software science.
Author Heading: POST (Conference) (3rd : 2014 : Grenoble, France)
Abadi, Martín.
Kremer, Steve.
Universite Joseph Fourier de Grenoble (UJFG)
ETAPS (Conference) (17th : 2014 : Grenoble, France)
Publication, Distribution, etc.: Berlin : Springer
Publication Date: c2014.
Publication Date (W3CDTF): 2014
Extent: xviii, 305 p.
Other physical details: ill.
Size: 24 cm.
Additional Title: Principles of security and trust : 3rd international conference, POST 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings.
ETAPS : European joint conferences on theory & practice of software.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer security--Congresses.
Data encryption (Computer science)--Congresses.
POST
Software
ETAPS
Security
LCC: QA76.9.A25
DDC: 005.8
NDLC: M17
Target Audience: 一般
Note (General): Papers.
"ETAPS is an annual federated conference (...) and this year consisted of six constituting conferences (CC, ESOP, FASE, FoSSaCS, TACAS, and POST) (...)" -- foreword.
Described as "(...) POST 2014, (...) was held as part of ETAPS 2014, in Grenoble, France, during April 6-7, 2014." -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-14-2141
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 025388796
http://id.ndl.go.jp/bib/025388796
OCLC No.: 876399060
https://www.worldcat.org/oclc/876399060
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215