. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783639710410 ankaufen:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.de

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.de
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 82,92 €, größter Preis: 120,00 €, Mittelwert: 97,61 €
Reasoning about Hyperproperties - Dimiter Vladimirov Milushev
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Dimiter Vladimirov Milushev:
Reasoning about Hyperproperties - neues Buch

ISBN: 9783639710410

ID: b4c2f25cbf75cee6881ca0ad6e79aa75

The importance of security and reliability of software systems makes formal methods of paramount significance as they can be used to guarantee that a system satisfies a particular security policy. Hyperproperties are an abstract formalization of the security policies, however they lack a generic verification methodology. This thesis makes progress towards such a verification methodology. We first introduce the classes of holistic hyperproperties, which are difficult to reason about. To simplify the reasoning about these, we propose their related incremental variants. We also introduce a framework for reasoning about incremental and holistic hyperproperties based on a technique called coinduction. In addition, we propose a generic verification methodology for incremental hyperproperties based on representing the process of policy checking intuitively as playing a game. This also enables the use of off-the-shelf tools for verification of the respective security policies. The proposed incremental hyperproperties have not only an interesting security application, but also their own theoretical significance, as they are new, more general than the currently known coinductive predicates. Bücher / Naturwissenschaften, Medizin, Informatik & Technik / Informatik & EDV, [PU: VDM Verlag Dr. Müller, Saarbrücken]

Neues Buch Dodax.de
Nr. 57b31b9477722508f7112ecc Versandkosten:Versandkosten: 0.0 EUR, Lieferzeit: 4 Tage, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Reasoning about Hyperproperties - Milushev, Dimiter Vladimirov
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Milushev, Dimiter Vladimirov:
Reasoning about Hyperproperties - Taschenbuch

2014, ISBN: 9783639710410

[ED: Softcover], [PU: Scholar'S Press], The importance of security and reliability of software systems makes formal methods of paramount significance as they can be used to guarantee that a system satisfies a particular security policy. Hyperproperties are an abstract formalization of the security policies, however they lack a generic verification methodology. This thesis makes progress towards such a verification methodology. We first introduce the classes of holistic hyperproperties, which are difficult to reason about. To simplify the reasoning about these, we propose their related incremental variants. We also introduce a framework for reasoning about incremental and holistic hyperproperties based on a technique called coinduction. In addition, we propose a generic verification methodology for incremental hyperproperties based on representing the process of policy checking intuitively as playing a game. This also enables the use of off-the-shelf tools for verification of the respective security policies. The proposed incremental hyperproperties have not only an interesting security application, but also their own theoretical significance, as they are new, more general than the currently known coinductive predicates.2014. 220 S. 220 mmVersandfertig in 3-5 Tagen, [SC: 0.00]

Neues Buch Booklooker.de
buecher.de GmbH & Co. KG
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Reasoning about Hyperproperties - Milushev Dimiter Vladimirov
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Milushev Dimiter Vladimirov:
Reasoning about Hyperproperties - neues Buch

ISBN: 9783639710410

Milushev Dimiter Vladimirov,Paperback, English-language edition,Pub by AV Akademikerverlag GmbH & Co. KG. Books Books ~~ Computers~~ General Reasoning-about-Hyperproperties~~Milushev-Dimiter-Vladimirov AV Akademikerverlag GmbH & Co. KG.

Neues Buch [USA] Barnesandnoble.com
Free Shipping on eligible orders over $25 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Reasoning about Hyperproperties
Autor:

Milushev Dimiter Vladimirov

Titel:

Reasoning about Hyperproperties

ISBN-Nummer:

Detailangaben zum Buch - Reasoning about Hyperproperties


EAN (ISBN-13): 9783639710410
Taschenbuch
Erscheinungsjahr: 2014
Herausgeber: AV Akademikerverlag GmbH & Co. KG.

Buch in der Datenbank seit 10.10.2014 08:02:32
Buch zuletzt gefunden am 25.02.2017 15:13:56
ISBN/EAN: 9783639710410

ISBN - alternative Schreibweisen:
978-3-639-71041-0


< zum Archiv...
Benachbarte Bücher