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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Huang, J, Roscoe, A
Format:	Journal article
Udgivet:	2006

Lignende værker

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

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

Checking noninterference in Timed CSP
af: Roscoe, A, et al.
Udgivet: (2013)

What is intransitive noninterference?
af: Roscoe, A, et al.
Udgivet: (1999)

What is intransitive noninterference?
af: Roscoe, A, et al.
Udgivet: (1999)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Extending CORE for real world appliances
af: Eguchi, Glenn, 1980-
Udgivet: (2014)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Model checking Timed CSP
af: Armstrong, P, et al.
Udgivet: (2012)

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

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

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