Reasoning about Hyperproperties - Image 1

View at Amazon ↗

£71.00

It has never been this cheap. We have no record of a lower price.

£71 today · cheaper than every other day in the last 3 months

VDM Verlag Reasoning about Hyperproperties

Name: Reasoning about Hyperproperties
Brand: VDM Verlag
Price: 71.0 GBP
Availability: InStock

Computing & Internet

Price Distribution

Price distribution over 54 days • 1 price levels

Days at Price

Price Analysis

Most common price: £71 (54 days, 100.0%)

Price range: £71 - £71

Price levels: 1 different prices over 54 days

Description

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.

Product Specifications

Brand: VDM Verlag
Format: paperback
ASIN: 363971041X
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Publication Date: 16 July 2014
Listed Since: 09 August 2014

Barcode

No barcode data available

It has never been this cheap. We have no record of a lower price.

VDM Verlag Reasoning about Hyperproperties

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

The Role of Prompts as Focus on Form on Uptake

Advanced Studies On Analytic Functions With Complex Order

Beta-integers and Quasicrystals

Long Range Interactions in Complex Networks

Software Mediated Communication and Student Outcomes

High Stakes Testing and School Reform

'Competitive Team-Based Learning' in Conversation Classes

Solution to Problems in Higher Mathematics (Pure & Applied)

Organizational Communication Through an Historic Lens

Leveraging Symbiotic Relationships for Emulation of Computer Networks

Analysis of Breakage Using the Attainable Region Approach

Organizational Ambidexterity in United States Hospitals

Locus of Control, Ecological Value and Environment Related Behaviour

The Mindful Digital Journey: Advanced Perspectives

New Service Development Process in the collaborative networks context

Use of Information Resources and Services in University Libraries: Information Resources and Services

User-Based Adaptive Information System in Project Management

Career Planning and Development

Requirements Elicitation with Focus Groups: An Action Research Approach

Facilitating Teacher Professional Learning

Fluctuational Electrodynamics: Momentum, Energy and Entropy Transport

Financial Management Practices in the State Universities of A.P.

Developing Attributes in Australian Mechanical Engineers

Knowledge Management and Organizational Culture

It has never been this cheap. We have no record of a lower price.

VDM Verlag Reasoning about Hyperproperties

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

The Role of Prompts as Focus on Form on Uptake

Advanced Studies On Analytic Functions With Complex Order

Beta-integers and Quasicrystals

Long Range Interactions in Complex Networks

Software Mediated Communication and Student Outcomes

High Stakes Testing and School Reform

'Competitive Team-Based Learning' in Conversation Classes

Solution to Problems in Higher Mathematics (Pure & Applied)

Organizational Communication Through an Historic Lens

Leveraging Symbiotic Relationships for Emulation of Computer Networks

Analysis of Breakage Using the Attainable Region Approach

Organizational Ambidexterity in United States Hospitals

Locus of Control, Ecological Value and Environment Related Behaviour

The Mindful Digital Journey: Advanced Perspectives

New Service Development Process in the collaborative networks context

Use of Information Resources and Services in University Libraries: Information Resources and Services

User-Based Adaptive Information System in Project Management

Career Planning and Development

Requirements Elicitation with Focus Groups: An Action Research Approach

Facilitating Teacher Professional Learning

Fluctuational Electrodynamics: Momentum, Energy and Entropy Transport

Financial Management Practices in the State Universities of A.P.

Developing Attributes in Australian Mechanical Engineers

Knowledge Management and Organizational Culture