Amanote Research
Register
Sign In
A Noninterference Model for Nondeterministic Systems
Ruan Jian Xue Bao/Journal of Software
- China
doi 10.1360/jos171601
Full Text
Open PDF
Abstract
Available in
full text
Categories
Software
Date
January 1, 2006
Authors
Jun XIE
Publisher
China Science Publishing & Media Ltd.
Related search
Noninterference for Concurrent Programs and Thread Systems
Theoretical Computer Science
Computer Science
Theoretical Computer Science
A Lightweight Data Location Service for Nondeterministic Exascale Storage Systems
ACM Transactions on Storage
Hardware
Architecture
Employing Behavioral Preorders to Define Controllability for Nondeterministic Discrete-Event Systems
Discrete Event Dynamic Systems: Theory and Applications
Control
Electronic Engineering
Systems Engineering
Simulation
Electrical
Modeling
Robust Option Replication for a Black-Scholes Model Extended With Nondeterministic Trends
Journal of Applied Mathematics and Stochastic Analysis
Noninterference Analysis of Delegation Subterfuge in Distributed Authorization Systems
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
A Nondeterministic Minimization Algorithm
On the Supremal Controllable Sublanguage in the Discrete-Event Model of Nondeterministic Hybrid Control Systems
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Assumptions and Guarantees for Compositional Noninterference
