Model-checking infinite state systems for information flow security - Image 1

£63.00

LAP Lambert Academic Publishing Model-checking infinite state systems for information flow security

Name: Model-checking infinite state systems for information flow security
Brand: LAP Lambert Academic Publishing
Price: 63.0 GBP
Availability: InStock

Computing & Internet

Price data last checked 46 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

Last 45 days • 45 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 45 days • 1 price levels

Days at Price

Price Analysis

Most common price: £63 (45 days, 100.0%)

Price range: £63 - £63

Price levels: 1 different prices over 45 days

Product Specifications

Brand: LAP Lambert Academic Publishing
Format: paperback
ASIN: 3659301310
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Publication Date: 02 April 2014
Listed Since: 26 April 2014

Barcode

No barcode data available

LAP Lambert Academic Publishing Model-checking infinite state systems for information flow security

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Information Security Over Cloud Computing

Model-Based Secure Software Development with Modularity, Reusability: A Model-Driven Security Approach

Basic Concepts of Information Security: A handbook

Secure Computing on Reconfigurable Systems: Improving Performance and Reliability of Dynamic Reconfigurable Systems

A Framework for Adaptive Information Security Systems: A holistic investigation

Enhancing the Intelligence and Security of Tagging Systems: Intelligent Tagging systems

Security Protocols Analysis: The Interpretation Functions-Based Method

On the Physical Security of Cryptographic Implementations

Knowledge Based System for Information System Audit: Securing Information System through Knowledge Engineering

Security Concepts

Chislennoe modelirovanie fil'tratsionnykh soprotivleniy: Programmno-informatsionnaya podderzhka

System Software Engineering

Inconsistency Management in Software Functional Requirements: A Machine Learning System

Security of Biometric Systems

Enhancing Privacy in Multi-agent Systems: Avoiding undesired Information Collection and Information Processing

Analiz dannykh v informatsionnykh obrazovatel'nykh sistemakh: Uchebnoe posobie po laboratornomu praktikumu

Security in Mobile Ad hoc Networks: Detection and Isolation of Selfish Nodes

State-based Publish/Subscribe for Sensor Systems

The Certainty of Uncertainty: Modelling and Simulating Software Process Qualitatively

IRIS RECOGNITION IN ENHANCED SECURITY

Data Mining for Information Security: An Experimental Approach

A Model for Pipeline Flow Monitoring: Using Wide Area Network Transceivers

Инновационные системы: перспективы и прогнозы

Security-Driven Human Resource Management System: A Model for Securing Human Resource Information 2nd Edition