SFr. 114.00
€ 114.00
BTC 0.0058
LTC 1.446
ETH 0.0833


bestellen

Artikel-Nr. 33128904


Diesen Artikel in meine
Wunschliste
Diesen Artikel
weiterempfehlen
Diesen Preis
beobachten

Weitersagen:



Autor(en): 
  • Dimiter Vladimirov Milushev
  • Reasoning about Hyperproperties 
     

    (Buch)
    Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 2 Artikel!


    Übersicht

    Auf mobile öffnen
     
    Lieferstatus:   i.d.R. innert 5-10 Tagen versandfertig
    Veröffentlichung:  Juli 2014  
    Genre:  Ratgeber 
    ISBN:  9783639710410 
    EAN-Code: 
    9783639710410 
    Verlag:  Scholars' Press 
    Einband:  Kartoniert  
    Sprache:  English  
    Dimensionen:  H 220 mm / B 150 mm / D 13 mm 
    Gewicht:  346 gr 
    Seiten:  220 
    Zus. Info:  Paperback 
    Bewertung: Titel bewerten / Meinung schreiben
    Inhalt:
    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.

      



    Wird aktuell angeschaut...
     

    Zur├╝ck zur letzten Ansicht


    AGB | Datenschutzerklärung | Mein Konto | Impressum | Partnerprogramm
    Newsletter | 1Advd.ch RSS News-Feed Newsfeed | 1Advd.ch Facebook-Page Facebook | 1Advd.ch Twitter-Page Twitter
    Forbidden Planet AG © 1999-2023
    Alle Angaben ohne Gewähr
     
    SUCHEN

     
     Kategorien
    Im Sortiment stöbern
    Genres
    Hörbücher
    Aktionen
     Infos
    Mein Konto
    Warenkorb
    Meine Wunschliste
     Kundenservice
    Recherchedienst
    Fragen / AGB / Kontakt
    Partnerprogramm
    Impressum
    © by Forbidden Planet AG 1999-2023
    Jetzt auch mit LiteCoin bestellen!