On Refinement−Closed Security Properties and Nondeterministic Compositions

On Refinement−Closed Security Properties and Nondeterministic Compositions

Taispeáin leaganacha eile (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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Murray, T, Lowe, G
Formáid:	Conference item
Foilsithe / Cruthaithe:	2009

Míreanna comhchosúla

On refinement-closed security properties and nondeterministic compositions
de réir: Murray, T, et al.
Foilsithe / Cruthaithe: (2009)

NONDETERMINISTIC DECISION RULES
de réir: Piotr Paszek
Foilsithe / Cruthaithe: (2015-04-01)

NONDETERMINISTIC DECISION RULES
de réir: Piotr Paszek
Foilsithe / Cruthaithe: (2015-04-01)

NONDETERMINISTIC DECISION RULES
de réir: Piotr Paszek
Foilsithe / Cruthaithe: (2015-04-01)

NONDETERMINISTIC DECISION RULES
de réir: Piotr Paszek
Foilsithe / Cruthaithe: (2015-04-01)

NONDETERMINISTIC DECISION RULES
de réir: Piotr Paszek
Foilsithe / Cruthaithe: (2015-01-01)

NONDETERMINISTIC DECISION RULES
de réir: Piotr Paszek
Foilsithe / Cruthaithe: (2015-04-01)

NONDETERMINISTIC DECISION RULES
de réir: Piotr Paszek
Foilsithe / Cruthaithe: (2015-04-01)

NONDETERMINISTIC DECISION RULES
de réir: Piotr Paszek
Foilsithe / Cruthaithe: (2015-04-01)

Proving acceptability properties of relaxed nondeterministic approximate programs
de réir: Carbin, Michael James, et al.
Foilsithe / Cruthaithe: (2012)

A Nondeterministic Minimization Algorithm
de réir: Caprile, Bruno, et al.
Foilsithe / Cruthaithe: (2004)

Bicategorical semantics for nondeterministic computation
de réir: Vicary, J, et al.
Foilsithe / Cruthaithe: (2013)

A Creative Nondeterministic Computability
de réir: A M Anisov
Foilsithe / Cruthaithe: (2009-09-01)

Complexity of Deterministic and Strongly Nondeterministic Decision Trees for Decision Tables From Closed Classes
de réir: Azimkhon Ostonov, et al.
Foilsithe / Cruthaithe: (2024-01-01)

Comparative Analysis of Deterministic and Nondeterministic Decision Trees for Decision Tables from Closed Classes
de réir: Azimkhon Ostonov, et al.
Foilsithe / Cruthaithe: (2024-06-01)

On Complexity of Deterministic and Nondeterministic Decision Trees for Conventional Decision Tables from Closed Classes
de réir: Azimkhon Ostonov, et al.
Foilsithe / Cruthaithe: (2023-10-01)

Quantum and classical structures in nondeterministic computation
de réir: Pavlovic, D
Foilsithe / Cruthaithe: (2009)

Nondeterministic Time and Space Complexity Classes
de réir: Seiferas, Joel Irvin
Foilsithe / Cruthaithe: (2023)

Behavioural Pseudometrics for Nondeterministic Probabilistic Systems
de réir: Wenjie Du, et al.
Foilsithe / Cruthaithe: (2022-12-01)

Residuality and Learning for Nondeterministic Nominal Automata
de réir: Joshua Moerman, et al.
Foilsithe / Cruthaithe: (2022-02-01)

Simplifying Nondeterministic Finite Cover Automata
de réir: Cezar Câmpeanu
Foilsithe / Cruthaithe: (2014-05-01)

D2-SYNCHRONIZATION IN NONDETERMINISTIC AUTOMATA
de réir: Hanan Shabana
Foilsithe / Cruthaithe: (2018-12-01)

Abstraction of nondeterministic situation calculus action theories
de réir: Banihashemi, B, et al.
Foilsithe / Cruthaithe: (2023)

Convex language semantics for nondeterministic probabilistic automata
de réir: Van Heerdt, G, et al.
Foilsithe / Cruthaithe: (2018)

High-security nondeterministic encryption communication based on spin-space-frequency multiplexing metasurface
de réir: Shi Sun, et al.
Foilsithe / Cruthaithe: (2024-12-01)

LTLf best-effort synthesis in nondeterministic planning domains
de réir: De Giacomo, G, et al.
Foilsithe / Cruthaithe: (2023)

Optimal decentralized control of finite nondeterministic systems
Foilsithe / Cruthaithe: (2003)

Fault tolerant quantum computation with nondeterministic gates.
de réir: Li, Y, et al.
Foilsithe / Cruthaithe: (2010)

Reachability problems in nondeterministic polynomial maps on the integers
de réir: Ko, SK, et al.
Foilsithe / Cruthaithe: (2018)

Syntactical characterization of nondeterministic logspace complexity class
de réir: D. A. Nosov
Foilsithe / Cruthaithe: (2018-10-01)

The Nondeterministic Waiting Time Algorithm: A Review
de réir: John Jack, et al.
Foilsithe / Cruthaithe: (2009-07-01)

Circuit lower bounds for nondeterministic quasi-polytime: an easy witness lemma for NP and NQP
de réir: Murray, Cody (Cody Daniel), et al.
Foilsithe / Cruthaithe: (2021)

On complexity of veri¯cation of nondeterministic probabilistic multiagent systems
de réir: M. K. Valiev, et al.
Foilsithe / Cruthaithe: (2010-12-01)

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
de réir: Marco Bernardo, et al.
Foilsithe / Cruthaithe: (2014-03-01)

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
de réir: Valentina Castiglioni, et al.
Foilsithe / Cruthaithe: (2018-06-01)

The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
de réir: Marco Bernardo, et al.
Foilsithe / Cruthaithe: (2013-06-01)

Nondeterministic State Complexity for Suffix-Free Regular Languages
de réir: Yo-Sub Han, et al.
Foilsithe / Cruthaithe: (2010-08-01)

Nondeterministic nature of sensorineural outcomes following noise trauma
de réir: O'neil W. Guthrie, et al.
Foilsithe / Cruthaithe: (2021-10-01)

Random Generation of Nondeterministic Finite-State Tree Automata
de réir: Thomas Hanneforth, et al.
Foilsithe / Cruthaithe: (2013-11-01)

Circuit Lower Bounds for Nondeterministic Quasi-polytime from a New Easy Witness Lemma
de réir: Murray, Cody D, et al.
Foilsithe / Cruthaithe: (2021)