On Refinement−Closed Security Properties and Nondeterministic Compositions

On Refinement−Closed Security Properties and Nondeterministic Compositions

Show other versions (1)

<p> Refinement-closed security properties allow the verification of systems for all possible implementations. Some systems, however, have refinements that do not represent possible implementations. In particular, real instantiations of abstract systems comprising security-critical components s...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Murray, T, Lowe, G
Format:	Conference item
Udgivet:	2009

Lignende værker

On refinement-closed security properties and nondeterministic compositions
af: Murray, T, et al.
Udgivet: (2009)

NONDETERMINISTIC DECISION RULES
af: Piotr Paszek
Udgivet: (2015-04-01)

NONDETERMINISTIC DECISION RULES
af: Piotr Paszek
Udgivet: (2015-04-01)

NONDETERMINISTIC DECISION RULES
af: Piotr Paszek
Udgivet: (2015-04-01)

NONDETERMINISTIC DECISION RULES
af: Piotr Paszek
Udgivet: (2015-04-01)

NONDETERMINISTIC DECISION RULES
af: Piotr Paszek
Udgivet: (2015-01-01)

NONDETERMINISTIC DECISION RULES
af: Piotr Paszek
Udgivet: (2015-04-01)

NONDETERMINISTIC DECISION RULES
af: Piotr Paszek
Udgivet: (2015-04-01)

NONDETERMINISTIC DECISION RULES
af: Piotr Paszek
Udgivet: (2015-04-01)

Proving acceptability properties of relaxed nondeterministic approximate programs
af: Carbin, Michael James, et al.
Udgivet: (2012)

A Nondeterministic Minimization Algorithm
af: Caprile, Bruno, et al.
Udgivet: (2004)

Bicategorical semantics for nondeterministic computation
af: Vicary, J, et al.
Udgivet: (2013)

A Creative Nondeterministic Computability
af: A M Anisov
Udgivet: (2009-09-01)

Complexity of Deterministic and Strongly Nondeterministic Decision Trees for Decision Tables From Closed Classes
af: Azimkhon Ostonov, et al.
Udgivet: (2024-01-01)

Comparative Analysis of Deterministic and Nondeterministic Decision Trees for Decision Tables from Closed Classes
af: Azimkhon Ostonov, et al.
Udgivet: (2024-06-01)

On Complexity of Deterministic and Nondeterministic Decision Trees for Conventional Decision Tables from Closed Classes
af: Azimkhon Ostonov, et al.
Udgivet: (2023-10-01)

Quantum and classical structures in nondeterministic computation
af: Pavlovic, D
Udgivet: (2009)

Nondeterministic Time and Space Complexity Classes
af: Seiferas, Joel Irvin
Udgivet: (2023)

Behavioural Pseudometrics for Nondeterministic Probabilistic Systems
af: Wenjie Du, et al.
Udgivet: (2022-12-01)

Residuality and Learning for Nondeterministic Nominal Automata
af: Joshua Moerman, et al.
Udgivet: (2022-02-01)

Simplifying Nondeterministic Finite Cover Automata
af: Cezar Câmpeanu
Udgivet: (2014-05-01)

D2-SYNCHRONIZATION IN NONDETERMINISTIC AUTOMATA
af: Hanan Shabana
Udgivet: (2018-12-01)

Abstraction of nondeterministic situation calculus action theories
af: Banihashemi, B, et al.
Udgivet: (2023)

Convex language semantics for nondeterministic probabilistic automata
af: Van Heerdt, G, et al.
Udgivet: (2018)

High-security nondeterministic encryption communication based on spin-space-frequency multiplexing metasurface
af: Shi Sun, et al.
Udgivet: (2024-12-01)

LTLf best-effort synthesis in nondeterministic planning domains
af: De Giacomo, G, et al.
Udgivet: (2023)

Optimal decentralized control of finite nondeterministic systems
Udgivet: (2003)

Fault tolerant quantum computation with nondeterministic gates.
af: Li, Y, et al.
Udgivet: (2010)

Reachability problems in nondeterministic polynomial maps on the integers
af: Ko, SK, et al.
Udgivet: (2018)

Syntactical characterization of nondeterministic logspace complexity class
af: D. A. Nosov
Udgivet: (2018-10-01)

The Nondeterministic Waiting Time Algorithm: A Review
af: John Jack, et al.
Udgivet: (2009-07-01)

Circuit lower bounds for nondeterministic quasi-polytime: an easy witness lemma for NP and NQP
af: Murray, Cody (Cody Daniel), et al.
Udgivet: (2021)

On complexity of veri¯cation of nondeterministic probabilistic multiagent systems
af: M. K. Valiev, et al.
Udgivet: (2010-12-01)

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
af: Marco Bernardo, et al.
Udgivet: (2014-03-01)

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
af: Valentina Castiglioni, et al.
Udgivet: (2018-06-01)

The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
af: Marco Bernardo, et al.
Udgivet: (2013-06-01)

Nondeterministic State Complexity for Suffix-Free Regular Languages
af: Yo-Sub Han, et al.
Udgivet: (2010-08-01)

Nondeterministic nature of sensorineural outcomes following noise trauma
af: O'neil W. Guthrie, et al.
Udgivet: (2021-10-01)

Random Generation of Nondeterministic Finite-State Tree Automata
af: Thomas Hanneforth, et al.
Udgivet: (2013-11-01)

Circuit Lower Bounds for Nondeterministic Quasi-polytime from a New Easy Witness Lemma
af: Murray, Cody D, et al.
Udgivet: (2021)