- 5 Resultados
precio mínimo: € 48,45, precio máximo: € 55,60, precio promedio: € 53,22
1
Principles of Security and Trust : 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Luca Viganò
Pedir
por ZVAB.com
€ 52,96
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Luca Viganò:

Principles of Security and Trust : 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Pasta blanda

2016, ISBN: 3662496348

[EAN: 9783662496343], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], DATENSICHERHEIT; DATENSICHERUNG; SICHERHEIT / BROWSERSECURITY; DISTRIBUTEDSYSTEMSSECURITY; FORMALSECURITYMODELS… Más…

NEW BOOK. Gastos de envío:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
cerrar (X)
2
Principles of Security and Trust - Luca Viganò
Pedir
por AbeBooks.de
€ 53,49
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado

Luca Viganò:

Principles of Security and Trust - Pasta blanda

2016, ISBN: 3662496348

[EAN: 9783662496343], Neubuch, [PU: Springer Berlin Heidelberg Mrz 2016], DATENSICHERHEIT; DATENSICHERUNG; SICHERHEIT / BROWSERSECURITY; DISTRIBUTEDSYSTEMSSECURITY; FORMALSECURITYMODELS; … Más…

NEW BOOK. Gastos de envío:Versandkostenfrei. (EUR 0.00) BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)]
cerrar (X)
3
Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Viganò, Luca (Herausgeber); Piessens, Frank (Herausgeber)
Pedir
por Achtung-Buecher.de
€ 55,60
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Viganò, Luca (Herausgeber); Piessens, Frank (Herausgeber):
Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - libro nuevo

2016

ISBN: 3662496348

1st ed. 2016 Kartoniert / Broschiert Datensicherheit, Datensicherung, Sicherheit / Datensicherheit, Wirtschaftsmathematik und -informatik, IT-Management, Ethische und soziale Fragen der… Más…

Gastos de envío:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
cerrar (X)
4
Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Viganò, Luca (Herausgeber); Piessens, Frank (Herausgeber)
Pedir
por Achtung-Buecher.de
€ 55,60
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Viganò, Luca (Herausgeber); Piessens, Frank (Herausgeber):
Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - libro nuevo

2016, ISBN: 3662496348

1st ed. 2016 Kartoniert / Broschiert Datensicherheit, Datensicherung, Sicherheit / Datensicherheit, Wirtschaftsmathematik und -informatik, IT-Management, Ethische und soziale Fragen der… Más…

Gastos de envío:No shipping costs within Germany. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
cerrar (X)
5
Principles of Security and Trust - Piessens, Frank Viganò, Luca
Pedir
por booklooker.de
€ 48,45
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Piessens, Frank Viganò, Luca:
Principles of Security and Trust - Primera edición

2016, ISBN: 9783662496343

Pasta blanda

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the… Más…

Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Principles of Security and Trust
Autor:
Título:
ISBN:

9783662496343


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.   

Detalles del libro - Principles of Security and Trust


EAN (ISBN-13): 9783662496343
ISBN (ISBN-10): 3662496348
Tapa dura
Tapa blanda
Año de publicación: 2016
Editorial: Springer Berlin

Libro en la base de datos desde 2016-07-10T16:50:18-05:00 (Mexico City)
Página de detalles modificada por última vez el 2023-09-12T16:16:20-06:00 (Mexico City)
ISBN/EAN: 9783662496343

ISBN - escritura alterna:
3-662-49634-8, 978-3-662-49634-3
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: vigano, pies, vig, vigan
Título del libro: eindhoven, trust, international conference software, computer security principles and practice, european, proceedings the international

Datos del la editorial

Autor: Frank Piessens; Luca Viganò
Título: Lecture Notes in Computer Science; Security and Cryptology; Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Editorial: Springer; Springer Berlin
277 Páginas
Año de publicación: 2016-03-22
Berlin; Heidelberg; DE
Impreso en
Idioma: Inglés
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
X, 277 p. 69 illus. in color.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Computersicherheit; Verstehen; Informatik; browser security; distributed systems security; formal security models; security protocols; trust frameworks; access control; anonymity; applied pi calculus; authentication; computational soundness; confidentiality; information flow control; invariant generation; logic and verification; privacy; provenance; security requirements; software security engineering; stateful protocols; test generation; Data and Information Security; Computer Communication Networks; Cryptology; IT Operations; Computers and Society; Algorithms; Netzwerksicherheit; Netzwerk-Hardware; Kodierungstheorie und Verschlüsselung (Kryptologie); Kryptografie, Verschlüsselungstechnologie; Wirtschaftsmathematik und -informatik, IT-Management; Digital- und Informationstechnologien: soziale und ethische Aspekte; Algorithmen und Datenstrukturen; EA

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.   

Information Flow.- Faceted Dynamic Information Flow via Control and Data Monads.- Asymmetric Secure Multi-execution with Declassification.- A Taxonomy of Information Flow Monitors.- On Improvements of Low-Deterministic Security.- Tool Demonstration: JOANA.- Models and Applications.- Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.- Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels.- Correct Audit Logging: Theory and Practice.- The Value of Attack-Defence Diagrams.- Protocols.- Composing protocols with randomized actions.- Bounding the number of agents, for equivalence too.- AIF-omega: Set-Based Protocol Abstraction with Countable Families.- Computational Soundness Results for Stateful Applied pi Calculus.   


Includes supplementary material: sn.pub/extras
< para archivar...