On Refinement−Closed Security Properties and Nondeterministic Compositions

On Refinement−Closed Security Properties and Nondeterministic Compositions

他のバージョン（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...

書誌詳細
主要な著者:	Murray, T, Lowe, G
フォーマット:	Conference item
出版事項:	2009

類似資料

On refinement-closed security properties and nondeterministic compositions
著者:: Murray, T, 等
出版事項: (2009)

NONDETERMINISTIC DECISION RULES
著者:: Piotr Paszek
出版事項: (2015-04-01)

NONDETERMINISTIC DECISION RULES
著者:: Piotr Paszek
出版事項: (2015-04-01)

NONDETERMINISTIC DECISION RULES
著者:: Piotr Paszek
出版事項: (2015-04-01)

NONDETERMINISTIC DECISION RULES
著者:: Piotr Paszek
出版事項: (2015-04-01)

NONDETERMINISTIC DECISION RULES
著者:: Piotr Paszek
出版事項: (2015-01-01)

NONDETERMINISTIC DECISION RULES
著者:: Piotr Paszek
出版事項: (2015-04-01)

NONDETERMINISTIC DECISION RULES
著者:: Piotr Paszek
出版事項: (2015-04-01)

NONDETERMINISTIC DECISION RULES
著者:: Piotr Paszek
出版事項: (2015-04-01)

Proving acceptability properties of relaxed nondeterministic approximate programs
著者:: Carbin, Michael James, 等
出版事項: (2012)

A Nondeterministic Minimization Algorithm
著者:: Caprile, Bruno, 等
出版事項: (2004)

Bicategorical semantics for nondeterministic computation
著者:: Vicary, J, 等
出版事項: (2013)

A Creative Nondeterministic Computability
著者:: A M Anisov
出版事項: (2009-09-01)

Complexity of Deterministic and Strongly Nondeterministic Decision Trees for Decision Tables From Closed Classes
著者:: Azimkhon Ostonov, 等
出版事項: (2024-01-01)

Comparative Analysis of Deterministic and Nondeterministic Decision Trees for Decision Tables from Closed Classes
著者:: Azimkhon Ostonov, 等
出版事項: (2024-06-01)

On Complexity of Deterministic and Nondeterministic Decision Trees for Conventional Decision Tables from Closed Classes
著者:: Azimkhon Ostonov, 等
出版事項: (2023-10-01)

Quantum and classical structures in nondeterministic computation
著者:: Pavlovic, D
出版事項: (2009)

Nondeterministic Time and Space Complexity Classes
著者:: Seiferas, Joel Irvin
出版事項: (2023)

Behavioural Pseudometrics for Nondeterministic Probabilistic Systems
著者:: Wenjie Du, 等
出版事項: (2022-12-01)

Residuality and Learning for Nondeterministic Nominal Automata
著者:: Joshua Moerman, 等
出版事項: (2022-02-01)

Simplifying Nondeterministic Finite Cover Automata
著者:: Cezar Câmpeanu
出版事項: (2014-05-01)

D2-SYNCHRONIZATION IN NONDETERMINISTIC AUTOMATA
著者:: Hanan Shabana
出版事項: (2018-12-01)

Abstraction of nondeterministic situation calculus action theories
著者:: Banihashemi, B, 等
出版事項: (2023)

Convex language semantics for nondeterministic probabilistic automata
著者:: Van Heerdt, G, 等
出版事項: (2018)

High-security nondeterministic encryption communication based on spin-space-frequency multiplexing metasurface
著者:: Shi Sun, 等
出版事項: (2024-12-01)

LTLf best-effort synthesis in nondeterministic planning domains
著者:: De Giacomo, G, 等
出版事項: (2023)

Optimal decentralized control of finite nondeterministic systems
出版事項: (2003)

Fault tolerant quantum computation with nondeterministic gates.
著者:: Li, Y, 等
出版事項: (2010)

Reachability problems in nondeterministic polynomial maps on the integers
著者:: Ko, SK, 等
出版事項: (2018)

Syntactical characterization of nondeterministic logspace complexity class
著者:: D. A. Nosov
出版事項: (2018-10-01)

The Nondeterministic Waiting Time Algorithm: A Review
著者:: John Jack, 等
出版事項: (2009-07-01)

Circuit lower bounds for nondeterministic quasi-polytime: an easy witness lemma for NP and NQP
著者:: Murray, Cody (Cody Daniel), 等
出版事項: (2021)

On complexity of veri¯cation of nondeterministic probabilistic multiagent systems
著者:: M. K. Valiev, 等
出版事項: (2010-12-01)

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
著者:: Marco Bernardo, 等
出版事項: (2014-03-01)

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
著者:: Valentina Castiglioni, 等
出版事項: (2018-06-01)

The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
著者:: Marco Bernardo, 等
出版事項: (2013-06-01)

Nondeterministic State Complexity for Suffix-Free Regular Languages
著者:: Yo-Sub Han, 等
出版事項: (2010-08-01)

Nondeterministic nature of sensorineural outcomes following noise trauma
著者:: O'neil W. Guthrie, 等
出版事項: (2021-10-01)

Random Generation of Nondeterministic Finite-State Tree Automata
著者:: Thomas Hanneforth, 等
出版事項: (2013-11-01)

Circuit Lower Bounds for Nondeterministic Quasi-polytime from a New Easy Witness Lemma
著者:: Murray, Cody D, 等
出版事項: (2021)