Extending noninterference properties to the timed world

Extending noninterference properties to the timed world

Taispeáin leaganacha eile (1)

Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain information about what a high-level user of the system is doing. We use the priority took view (a discrete timed model) to...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Huang, J, Roscoe, A
Formáid:	Journal article
Foilsithe / Cruthaithe:	2006

Míreanna comhchosúla

Extending noninterference properties to the timed world
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2006)

Checking noninterference in the timed world
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2013)

Checking noninterference in Timed CSP
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2013)

What is intransitive noninterference?
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1999)

What is intransitive noninterference?
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1999)

Noninterference model for integrity
de réir: ZHANG Fan1, et al.
Foilsithe / Cruthaithe: (2011-01-01)

Noninterference model for integrity
de réir: ZHANG Fan1, et al.
Foilsithe / Cruthaithe: (2011-01-01)

Noninterference for a practical DIFC-based operating system
de réir: Krohn, Maxwell, et al.
Foilsithe / Cruthaithe: (2010)

Method for trust analysis of exchange process behavior based on noninterference
de réir: Yi SUN, et al.
Foilsithe / Cruthaithe: (2014-12-01)

Method for trust analysis of exchange process behavior based on noninterference
de réir: Yi SUN, et al.
Foilsithe / Cruthaithe: (2014-12-01)

Factors influencing bystander noninterference behavior in cyberbullying: a systematic literature review
de réir: Wang, Zhengmeng, et al.
Foilsithe / Cruthaithe: (2022)

Research of duality and multi-level security model based on intransitive noninterference theory
de réir: LIU Wei-peng1, et al.
Foilsithe / Cruthaithe: (2009-01-01)

Research of duality and multi-level security model based on intransitive noninterference theory
de réir: LIU Wei-peng1, et al.
Foilsithe / Cruthaithe: (2009-01-01)

Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus
de réir: Naokata Shikuma, et al.
Foilsithe / Cruthaithe: (2008-09-01)

Simple noninterference mechanism between the pitch and yaw axes for a wrist mechanism to be employed in robot-assisted laparoscopic surgery
de réir: Makoto Jinno
Foilsithe / Cruthaithe: (2019-01-01)

Noninterference Revealing of “Layered to Layered” Zinc Storage Mechanism of δ‐MnO2 toward Neutral Zn–Mn Batteries with Superior Performance
de réir: Yuqi Jiang, et al.
Foilsithe / Cruthaithe: (2020-03-01)

On the expressive power of CSP extended by priority
de réir: Roscoe, A
Foilsithe / Cruthaithe: (2014)

Towards Symmetry Aware Refinement Checking (Extended Abstract)
de réir: Moffat, N, et al.
Foilsithe / Cruthaithe: (2007)

Extended Deterrence and Extended Nuclear Deterrence in a Pandemic World
de réir: Allan Behm
Foilsithe / Cruthaithe: (2021-03-01)

Extending CORE for real world appliances
de réir: Eguchi, Glenn, 1980-
Foilsithe / Cruthaithe: (2014)

EXTENDED SELF: "TECHNOLOGIES OF THE SELF" IN THE MODERN WORLD
de réir: Tatiana V. Konyukhova, et al.
Foilsithe / Cruthaithe: (2021-03-01)

The potential of peer support to extend the reach of digital health
de réir: Nanton, Veronica, et al.
Foilsithe / Cruthaithe: (2020)

The timed failures−stability model for Timed CSP
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1996)

Attuning to the World: The Diachronic Constitution of the Extended Conscious Mind
de réir: Michael D. Kirchhoff, et al.
Foilsithe / Cruthaithe: (2020-08-01)

Some Properties of Extended Euler’s Function and Extended Dedekind’s Function
de réir: Nicuşor Minculete, et al.
Foilsithe / Cruthaithe: (2020-07-01)

The timed failures - stability model for CSP
de réir: Reed, G, et al.
Foilsithe / Cruthaithe: (1999)

Translating timed automata to tock-CSP
de réir: Khattri, M, et al.
Foilsithe / Cruthaithe: (2011)

Translating Timed Automata to Tock−CSP
de réir: Khattri, M, et al.
Foilsithe / Cruthaithe: (2011)

A timed model for communicating sequential processes
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1988)

Metric spaces as models for real−time concurrency
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1988)

A timed model for communicating sequential processes
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1986)

Composing and decomposing systems under security properties
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1995)

Extended Quinolizinium-Fused Corannulene Derivatives: Synthesis and Properties
de réir: Lin Huang, et al.
Foilsithe / Cruthaithe: (2024-03-01)

The Extended Wigner’s Friend, Many-and Single-Worlds and Reasoning from Observation
de réir: Steane, A
Foilsithe / Cruthaithe: (2025)

Extending the Architecture of Collective Housing: Towards Common Worlds of Care
de réir: María-Elia Gutiérrez-Mozo, et al.
Foilsithe / Cruthaithe: (2021-04-01)

6G: Ubiquitously Extending to the Vast Underwater World of the Oceans
de réir: Yuanliang Ma, et al.
Foilsithe / Cruthaithe: (2022-01-01)

Model checking Timed CSP
de réir: Armstrong, P, et al.
Foilsithe / Cruthaithe: (2012)

Towards Extending CityGML for Property Valuation: Property Valuation ADE
de réir: S. El Yamani, et al.
Foilsithe / Cruthaithe: (2024-06-01)

Analysing TM_FS: a study of nondeterminism in real−time concurrency
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1991)

Is Timing Everything?: The Role of Time on the Relationship between Patient-Centered Communication and Provider Empathy
de réir: Shanequa S. Roscoe-Nelson, et al.
Foilsithe / Cruthaithe: (2024-08-01)