This book constitutes the proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.
The 12 full papers presented in this volume were carefully reviewed and selected from 35 submissions. They were organized in topical sections named: information flow; models and applications; protocols.
"synopsis" may belong to another edition of this title.
Luca ViganC2 is an assistant professor at the Institute for Computer Science of the University of Freiburg (Germany). His research focuses on the theory and applications of non-classical logics, of proof development systems, of logical frameworks, and of logics for security.
"About this title" may belong to another edition of this title.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 25834952-n
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New. Seller Inventory # ABLIING23Mar3113020315278
Seller: California Books, Miami, FL, U.S.A.
Condition: New. Seller Inventory # I-9783662496343
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In. Seller Inventory # ria9783662496343_new
Quantity: Over 20 available
Seller: Chiron Media, Wallingford, United Kingdom
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783662496343
Quantity: 10 available
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New. Seller Inventory # 25834952-n
Quantity: Over 20 available
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 12 full papers presented in this volume were carefully reviewed and selected from 35 submissions. They were organized in topical sections named: information flow; models and applications; protocols. 288 pp. Englisch. Seller Inventory # 9783662496343
Quantity: 2 available
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. Editor(s): Piessens, Frank; Vigano, Luca (Albert-Ludwigs-Universitat, Freiburg, Germany). Series: Lecture Notes in Computer Science. Num Pages: 287 pages, 69 colour illustrations, biography. BIC Classification: UBJ; UKN; UMB; URY; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 444. . 2016. Paperback. . . . . Seller Inventory # V9783662496343
Quantity: 15 available
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. Editor(s): Piessens, Frank; Vigano, Luca (Albert-Ludwigs-Universitat, Freiburg, Germany). Series: Lecture Notes in Computer Science. Num Pages: 287 pages, 69 colour illustrations, biography. BIC Classification: UBJ; UKN; UMB; URY; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 444. . 2016. Paperback. . . . . Books ship from the US and Ireland. Seller Inventory # V9783662496343
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice. Seller Inventory # 117180776
Quantity: Over 20 available