Model-Driven Approaches to Analysing Time and Location: Dependent Access Control Specifications - Image 1

£64.00

LAP Lambert Academic Publishing Model-Driven Approaches to Analysing Time and Location: Dependent Access Control Specifications

Name: Model-Driven Approaches to Analysing Time and Location: Dependent Access Control Specifications
Brand: LAP Lambert Academic Publishing
Price: 64.0 GBP
Availability: InStock

Subjects

Price data last checked 22 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

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

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

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 69 days · 69 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 69 days • 1 price levels

Days at Price

Price Analysis

Most common price: £64 (69 days, 100.0%)

Price range: £64 - £64

Price levels: 1 different prices over 69 days

Description

Analysis of Access Control systems is an important task to ensure that unauthorised access to critical resources is protected. This thesis deals with a challenging problem related to the analysis of Access Control systems which depend on time and location against undesirable scenarios such as inconsistency. In particular, this thesis first provides formal algebraic notations for the Access Control specifications in the context of a Spatio- Temporal Role Based Access Control (STRBAC) model. This is followed by formulating the terms of inconsistency and semi-consistency in STRBAC specifications, which are accomplished with the help of the formal algebraic notations.

Product Specifications

Brand: LAP Lambert Academic Publishing
Format: paperback
ASIN: 365993965X
Category: Books > Subjects
Domain: Amazon UK
Release Date: 13 March 2019
Listed Since: 09 April 2019

Barcode

No barcode data available

LAP Lambert Academic Publishing Model-Driven Approaches to Analysing Time and Location: Dependent Access Control Specifications

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Designing Dependable Mobile Computing Systems with Mobile Agents: Overview of dependability analysis and system dependability formulation of wireless applications using mobile agents

Systems with Parametric Uncertainty: An Algebraic Approach to Robust Control Design

Analysis of Optimal Power Flow in The Presence of Facts Devices: Analysis of Economic Load Dispatch of Power System with Practical Constraints in the Presence of Facts Controllers

Dynamic Priority Allocation in Restless Bandit Models: Designing simple and well-performing rules for dynamic and stochastic resource allocation problems

Reliability and Maintainability Analysis of Redundant Systems

Naglyadnyy kombinatornyy analiz informatsionnykh sistem: Teoriya, praktika i chislovye osnovaniya

Multiagent System for an Adaptive Real Time Intrusion Detection System

Algoritmy planirovaniya vychisleniy i sinteza sistem real'nogo vremeni: Razrabotka i sravnitel'nyy analiz

Access Control Systems: Security, Identity Management and Trust Models

An On-line Observer-Based Controller for Constrained Systems

Transaction Management in Heterogeneous Distributed Database Systems: Real Time Database Systems

Analysis on the Timing Characteristics for Industrial Bus Network

Effective and Efficient Temporal Verification in Grid Workflow: Enabling timely completion of grid workflow

MRAC without the knowledge of relative degree: A new design approach for the model reference adaptive control

Threshold Efficient Cryptosystem: Design and Development of Threshold Efficient Symmetric Cryptosystem Using Random Bits Generation

Effective Network Complexity: Managing and measuring complexity in networks

Chastotnyy analiz v sistemakh obnaruzheniya anomaliy: Optimizatsiya po vychislitel'noy slozhnosti algoritmov spektral'nogo i spektral'no-vremennogo analiza

Systemic modeling methodology of a complex system: Applied to smart grid and ABS braking systems

Computational Intelligence for Confidintial Authentication Systems

EFFICIENT PASSWORD PROTECTION PROCEDURES FOR INFORMATION SECURITY: USING MATHEMATICAL MODELS

Distributed Informational Control Systems: Multiconnected оbjects

An Innovative Design and Development of Grey Fuzzy Controller: for Reliability Investigation of Electrical Power System

Test Case Prioritization in Highly-Configurable Software Systems

Fuzzy Logic Controller: Theory,Design & Application in Power System