Extending noninterference properties to the timed world

Extending noninterference properties to the timed world

Show other versions (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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Huang, J, Roscoe, A
Fformat:	Journal article
Cyhoeddwyd:	2006

Eitemau Tebyg

Extending noninterference properties to the timed world
gan: Roscoe, A, et al.
Cyhoeddwyd: (2006)

Checking noninterference in the timed world
gan: Roscoe, A, et al.
Cyhoeddwyd: (2013)

Checking noninterference in Timed CSP
gan: Roscoe, A, et al.
Cyhoeddwyd: (2013)

What is intransitive noninterference?
gan: Roscoe, A, et al.
Cyhoeddwyd: (1999)

What is intransitive noninterference?
gan: Roscoe, A, et al.
Cyhoeddwyd: (1999)

Noninterference model for integrity
gan: ZHANG Fan1, et al.
Cyhoeddwyd: (2011-01-01)

Noninterference model for integrity
gan: ZHANG Fan1, et al.
Cyhoeddwyd: (2011-01-01)

Noninterference for a practical DIFC-based operating system
gan: Krohn, Maxwell, et al.
Cyhoeddwyd: (2010)

Method for trust analysis of exchange process behavior based on noninterference
gan: Yi SUN, et al.
Cyhoeddwyd: (2014-12-01)

Method for trust analysis of exchange process behavior based on noninterference
gan: Yi SUN, et al.
Cyhoeddwyd: (2014-12-01)

Factors influencing bystander noninterference behavior in cyberbullying: a systematic literature review
gan: Wang, Zhengmeng, et al.
Cyhoeddwyd: (2022)

Research of duality and multi-level security model based on intransitive noninterference theory
gan: LIU Wei-peng1, et al.
Cyhoeddwyd: (2009-01-01)

Research of duality and multi-level security model based on intransitive noninterference theory
gan: LIU Wei-peng1, et al.
Cyhoeddwyd: (2009-01-01)

Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus
gan: Naokata Shikuma, et al.
Cyhoeddwyd: (2008-09-01)

Simple noninterference mechanism between the pitch and yaw axes for a wrist mechanism to be employed in robot-assisted laparoscopic surgery
gan: Makoto Jinno
Cyhoeddwyd: (2019-01-01)

Noninterference Revealing of “Layered to Layered” Zinc Storage Mechanism of δ‐MnO2 toward Neutral Zn–Mn Batteries with Superior Performance
gan: Yuqi Jiang, et al.
Cyhoeddwyd: (2020-03-01)

On the expressive power of CSP extended by priority
gan: Roscoe, A
Cyhoeddwyd: (2014)

Towards Symmetry Aware Refinement Checking (Extended Abstract)
gan: Moffat, N, et al.
Cyhoeddwyd: (2007)

Extended Deterrence and Extended Nuclear Deterrence in a Pandemic World
gan: Allan Behm
Cyhoeddwyd: (2021-03-01)

Extending CORE for real world appliances
gan: Eguchi, Glenn, 1980-
Cyhoeddwyd: (2014)

EXTENDED SELF: "TECHNOLOGIES OF THE SELF" IN THE MODERN WORLD
gan: Tatiana V. Konyukhova, et al.
Cyhoeddwyd: (2021-03-01)

The potential of peer support to extend the reach of digital health
gan: Nanton, Veronica, et al.
Cyhoeddwyd: (2020)

The timed failures−stability model for Timed CSP
gan: Roscoe, A, et al.
Cyhoeddwyd: (1996)

Attuning to the World: The Diachronic Constitution of the Extended Conscious Mind
gan: Michael D. Kirchhoff, et al.
Cyhoeddwyd: (2020-08-01)

Some Properties of Extended Euler’s Function and Extended Dedekind’s Function
gan: Nicuşor Minculete, et al.
Cyhoeddwyd: (2020-07-01)

The timed failures - stability model for CSP
gan: Reed, G, et al.
Cyhoeddwyd: (1999)

Translating timed automata to tock-CSP
gan: Khattri, M, et al.
Cyhoeddwyd: (2011)

Translating Timed Automata to Tock−CSP
gan: Khattri, M, et al.
Cyhoeddwyd: (2011)

A timed model for communicating sequential processes
gan: Roscoe, A, et al.
Cyhoeddwyd: (1988)

Metric spaces as models for real−time concurrency
gan: Roscoe, A, et al.
Cyhoeddwyd: (1988)

A timed model for communicating sequential processes
gan: Roscoe, A, et al.
Cyhoeddwyd: (1986)

Composing and decomposing systems under security properties
gan: Roscoe, A, et al.
Cyhoeddwyd: (1995)

Extended Quinolizinium-Fused Corannulene Derivatives: Synthesis and Properties
gan: Lin Huang, et al.
Cyhoeddwyd: (2024-03-01)

The Extended Wigner’s Friend, Many-and Single-Worlds and Reasoning from Observation
gan: Steane, A
Cyhoeddwyd: (2025)

Extending the Architecture of Collective Housing: Towards Common Worlds of Care
gan: María-Elia Gutiérrez-Mozo, et al.
Cyhoeddwyd: (2021-04-01)

6G: Ubiquitously Extending to the Vast Underwater World of the Oceans
gan: Yuanliang Ma, et al.
Cyhoeddwyd: (2022-01-01)

Model checking Timed CSP
gan: Armstrong, P, et al.
Cyhoeddwyd: (2012)

Towards Extending CityGML for Property Valuation: Property Valuation ADE
gan: S. El Yamani, et al.
Cyhoeddwyd: (2024-06-01)

Analysing TM_FS: a study of nondeterminism in real−time concurrency
gan: Roscoe, A, et al.
Cyhoeddwyd: (1991)

Is Timing Everything?: The Role of Time on the Relationship between Patient-Centered Communication and Provider Empathy
gan: Shanequa S. Roscoe-Nelson, et al.
Cyhoeddwyd: (2024-08-01)