Amanote Research
Register
Sign In
Verifying Information Flow Properties of Hybrid Systems
doi 10.1145/2461446.2461458
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2013
Authors
Pavithra Prabhakar
Boris Köpf
Publisher
ACM Press
Related search
Verifying Information Flow Goals in Security-Enhanced Linux
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Modelling and Verifying Communication Failure of Hybrid Systems in HCSP
Computer Journal
Computer Science
Verifying Properties of Neural Networks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Properties of Process Definitions
ACM SIGSOFT Software Engineering Notes
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Flow Properties of Aluminum Soaps-Hydrocarbon Systems
Bulletin of the Chemical Society of Japan
Chemistry
Verifying Quantitative Properties Using Bound Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Conformon P Systems and Topology of Information Flow
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Practical Information-Flow Control in Web-Based Information Systems
