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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Murray, T, Lowe, G
Fformat:	Conference item
Cyhoeddwyd:	2009

Eitemau Tebyg

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

NONDETERMINISTIC DECISION RULES
gan: Piotr Paszek
Cyhoeddwyd: (2015-04-01)

NONDETERMINISTIC DECISION RULES
gan: Piotr Paszek
Cyhoeddwyd: (2015-04-01)

NONDETERMINISTIC DECISION RULES
gan: Piotr Paszek
Cyhoeddwyd: (2015-04-01)

NONDETERMINISTIC DECISION RULES
gan: Piotr Paszek
Cyhoeddwyd: (2015-04-01)

NONDETERMINISTIC DECISION RULES
gan: Piotr Paszek
Cyhoeddwyd: (2015-01-01)

NONDETERMINISTIC DECISION RULES
gan: Piotr Paszek
Cyhoeddwyd: (2015-04-01)

NONDETERMINISTIC DECISION RULES
gan: Piotr Paszek
Cyhoeddwyd: (2015-04-01)

NONDETERMINISTIC DECISION RULES
gan: Piotr Paszek
Cyhoeddwyd: (2015-04-01)

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

A Nondeterministic Minimization Algorithm
gan: Caprile, Bruno, et al.
Cyhoeddwyd: (2004)

Bicategorical semantics for nondeterministic computation
gan: Vicary, J, et al.
Cyhoeddwyd: (2013)

A Creative Nondeterministic Computability
gan: A M Anisov
Cyhoeddwyd: (2009-09-01)

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

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

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

Quantum and classical structures in nondeterministic computation
gan: Pavlovic, D
Cyhoeddwyd: (2009)

Nondeterministic Time and Space Complexity Classes
gan: Seiferas, Joel Irvin
Cyhoeddwyd: (2023)

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

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

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

D2-SYNCHRONIZATION IN NONDETERMINISTIC AUTOMATA
gan: Hanan Shabana
Cyhoeddwyd: (2018-12-01)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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