Checking noninterference in the timed world

Checking noninterference in the timed world

Bibliographic Details
Main Authors:	Roscoe, A, Huang, J
Format:	Journal article
Published:	2013

Similar Items

Checking noninterference in Timed CSP
by: Roscoe, A, et al.
Published: (2013)

Extending noninterference properties to the timed world
by: Roscoe, A, et al.
Published: (2006)

Extending noninterference properties to the timed world
by: Huang, J, et al.
Published: (2006)

What is intransitive noninterference?
by: Roscoe, A, et al.
Published: (1999)

What is intransitive noninterference?
by: Roscoe, A, et al.
Published: (1999)

Noninterference for a practical DIFC-based operating system
by: Krohn, Maxwell, et al.
Published: (2010)

Factors influencing bystander noninterference behavior in cyberbullying: a systematic literature review
by: Wang, Zhengmeng, et al.
Published: (2022)

Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus
by: Naokata Shikuma, et al.
Published: (2008-09-01)

Model checking Timed CSP
by: Armstrong, P, et al.
Published: (2012)

Model−checking CSP
by: A. W. Roscoe
Published: (1994)

Finitary refinement checks for infinitary specifications
by: Roscoe, A
Published: (2004)

Efficient deadlock freedom checking using local analysis and SAT checking
by: Antonio, P, et al.
Published: (2016)

Hierarchical compression for model−checking CSP‚ or How to check 10^20 dining philosophers for deadlock
by: Roscoe, A, et al.
Published: (1995)

Local search in model checking
by: Roscoe, P, et al.
Published: (2009)

Local Search in Model Checking
by: Roscoe, A, et al.
Published: (2009)

The perfect ‘spy’ for model−checking cryptoprotocols
by: Roscoe, A, et al.
Published: (1997)

The perfect spy for model−checking crypto−protocols
by: Roscoe, A, et al.
Published: (1997)

Health checks--time to check out?
by: Mant, D
Published: (1994)

Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock
by: Roscoe, A, et al.
Published: (1995)

Model checking cryptographic protocols subject to combinatorial attack.
by: Roscoe, T, et al.
Published: (2011)

Model checking cryptographic protocols subject to combinatorial attack
by: Roscoe, A, et al.
Published: (2012)

On Model Checking Data−independent Systems with Arrays without Reset
by: Roscoe, A, et al.
Published: (2001)

On Model Checking Data−independent Systems with Arrays without Reset
by: Roscoe, A, et al.
Published: (2004)

Watchdog transformations for property−oriented model checking
by: Roscoe, A, et al.
Published: (2003)

The automatic detection of token structures and invariants using SAT checking
by: Antonino, P, et al.
Published: (2017)

On Model checking data−independent systems with arrays with whole−array operations
by: Roscoe, A, et al.
Published: (2005)

Towards Symmetry Aware Refinement Checking (Extended Abstract)
by: Moffat, N, et al.
Published: (2007)

Watchdog transformations for property−oriented model−checking
by: Goldsmith, M, et al.
Published: (2003)

Watchdog Transformations for Property−Oriented Model−Checking
by: Goldsmith, M, et al.
Published: (2003)

A representative function approach to symmetry exploitation for CSP refinement checking
by: Moffat, N, et al.
Published: (2008)

A representative function approach to symmetry exploitation for CSP refinement checking
by: Moffat, N, et al.
Published: (2008)

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
by: Moffat, N, et al.
Published: (2008)

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
by: Moffat, N, et al.
Published: (2008)

Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption
by: Roscoe, A, et al.
Published: (2004)

On expressiveness and complexity in real-time model checking
by: Bouyer, P, et al.
Published: (2008)

Real-time model checking: Algorithms and complexity
by: Worrell, J, et al.
Published: (2008)

Is it time to end general health checks?
by: Heneghan, C, et al.
Published: (2019)

Trace Checking with Real−Time Specifications
by: Deutschmann, R, et al.
Published: (2004)

Quantitative model-checking of controlled discrete-time Markov processes
by: Tkachev, I, et al.
Published: (2016)

Linear-time model checking branching processes
by: Kiefer, SM, et al.
Published: (2021)