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 - edizione con copertina flessibile
2016, ISBN: 3662496348
[EAN: 9783662496343], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], DATENSICHERHEIT; DATENSICHERUNG; SICHERHEIT / BROWSERSECURITY; DISTRIBUTEDSYSTEMSSECURITY; FORMALSECURITYMODELS… Altro …
| ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
2016, ISBN: 3662496348
[EAN: 9783662496343], Neubuch, [PU: Springer Berlin Heidelberg Mrz 2016], DATENSICHERHEIT; DATENSICHERUNG; SICHERHEIT / BROWSERSECURITY; DISTRIBUTEDSYSTEMSSECURITY; FORMALSECURITYMODELS; … Altro …
| AbeBooks.de BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
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 - nuovo libro
2016, ISBN: 3662496348
1st ed. 2016 Kartoniert / Broschiert Datensicherheit, Datensicherung, Sicherheit / Datensicherheit, Wirtschaftsmathematik und -informatik, IT-Management, Ethische und soziale Fragen der… Altro …
| Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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 - nuovo libro
2016, ISBN: 3662496348
1st ed. 2016 Kartoniert / Broschiert Datensicherheit, Datensicherung, Sicherheit / Datensicherheit, Wirtschaftsmathematik und -informatik, IT-Management, Ethische und soziale Fragen der… Altro …
| Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Costi di spedizione:No shipping costs within Germany. (EUR 0.00) Details... |
2016, ISBN: 9783662496343
edizione con copertina flessibile
[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… Altro …
| booklooker.de |
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 - edizione con copertina flessibile
2016, ISBN: 3662496348
[EAN: 9783662496343], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], DATENSICHERHEIT; DATENSICHERUNG; SICHERHEIT / BROWSERSECURITY; DISTRIBUTEDSYSTEMSSECURITY; FORMALSECURITYMODELS… Altro …
2016, ISBN: 3662496348
[EAN: 9783662496343], Neubuch, [PU: Springer Berlin Heidelberg Mrz 2016], DATENSICHERHEIT; DATENSICHERUNG; SICHERHEIT / BROWSERSECURITY; DISTRIBUTEDSYSTEMSSECURITY; FORMALSECURITYMODELS; … Altro …
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 - nuovo libro
2016
ISBN: 3662496348
1st ed. 2016 Kartoniert / Broschiert Datensicherheit, Datensicherung, Sicherheit / Datensicherheit, Wirtschaftsmathematik und -informatik, IT-Management, Ethische und soziale Fragen der… Altro …
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 - nuovo libro
2016, ISBN: 3662496348
1st ed. 2016 Kartoniert / Broschiert Datensicherheit, Datensicherung, Sicherheit / Datensicherheit, Wirtschaftsmathematik und -informatik, IT-Management, Ethische und soziale Fragen der… Altro …
2016, ISBN: 9783662496343
edizione con copertina flessibile
[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… Altro …
Dati bibliografici del miglior libro corrispondente
| Autore: | |
| Titolo: | |
| ISBN: |
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.
Informazioni dettagliate del libro - Principles of Security and Trust
EAN (ISBN-13): 9783662496343
ISBN (ISBN-10): 3662496348
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2016
Editore: Springer Berlin
Libro nella banca dati dal 2016-07-10T23:50:18+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2023-09-13T00:16:20+02:00 (Rome)
ISBN/EAN: 9783662496343
ISBN - Stili di scrittura alternativi:
3-662-49634-8, 978-3-662-49634-3
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : vigano, pies, vig, vigan
Titolo del libro: eindhoven, trust, international conference software, computer security principles and practice, european, proceedings the international
Dati dell'editore
Autore: Frank Piessens; Luca Viganò
Titolo: 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
Editore: Springer; Springer Berlin
277 Pagine
Anno di pubblicazione: 2016-03-22
Berlin; Heidelberg; DE
Stampato / Fatto in
Lingua: Inglese
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
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9781013269844 Principles of Security and Trust (Lujo Bauer)
- 9781013269844 Principles of Security and Trust (Lujo Bauer)
- 9781013271281 Principles of Security and Trust (Sands, David; Nielson, Flemming)
- 9781013271298 Principles of Security and Trust (Sands, David; Nielson, Flemming)
- 9781013269851 Principles of Security and Trust (Lujo Bauer)
- 9783030171377 Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of ... Notes in Computer Science, Band 11426) (Flemming Nielson; David Sands)
< Per archiviare...