- 5 Ergebnisse
Kleinster Preis: € 48,45, größter Preis: € 55,60, Mittelwert: € 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ò
Bestellen
bei ZVAB.com
€ 52,96
Versand: € 0,001
Bestellengesponserter Link
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 - Taschenbuch

2016, ISBN: 3662496348

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

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Principles of Security and Trust - Luca Viganò
Bestellen
bei AbeBooks.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link

Luca Viganò:

Principles of Security and Trust - Taschenbuch

2016, ISBN: 3662496348

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

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)]
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)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellengesponserter Link
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 - neues Buch

2016

ISBN: 3662496348

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

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
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)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellengesponserter Link
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 - neues Buch

2016, ISBN: 3662496348

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

Versandkosten:No shipping costs within Germany. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
5
Principles of Security and Trust - Piessens, Frank Viganò, Luca
Bestellen
bei booklooker.de
€ 48,45
Versand: € 0,001
Bestellengesponserter Link
Piessens, Frank Viganò, Luca:
Principles of Security and Trust - Erstausgabe

2016, ISBN: 9783662496343

Taschenbuch

[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… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Principles of Security and Trust

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.   

Detailangaben zum Buch - Principles of Security and Trust


EAN (ISBN-13): 9783662496343
ISBN (ISBN-10): 3662496348
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2016
Herausgeber: Springer Berlin

Buch in der Datenbank seit 2016-07-10T23:50:18+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-09-13T00:16:20+02:00 (Berlin)
ISBN/EAN: 9783662496343

ISBN - alternative Schreibweisen:
3-662-49634-8, 978-3-662-49634-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: vigano, pies, vig, vigan
Titel des Buches: eindhoven, trust, international conference software, computer security principles and practice, european, proceedings the international


Daten vom Verlag:

Autor/in: Frank Piessens; Luca Viganò
Titel: 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
Verlag: Springer; Springer Berlin
277 Seiten
Erscheinungsjahr: 2016-03-22
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
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

< zum Archiv...