Extending noninterference properties to the timed world

Extending noninterference properties to the timed world

Показать другие версии (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...

Полное описание

Библиографические подробности
Главные авторы:	Huang, J, Roscoe, A
Формат:	Journal article
Опубликовано:	2006

Схожие документы

Extending noninterference properties to the timed world
по: Roscoe, A, и др.
Опубликовано: (2006)

Checking noninterference in the timed world
по: Roscoe, A, и др.
Опубликовано: (2013)

Checking noninterference in Timed CSP
по: Roscoe, A, и др.
Опубликовано: (2013)

What is intransitive noninterference?
по: Roscoe, A, и др.
Опубликовано: (1999)

What is intransitive noninterference?
по: Roscoe, A, и др.
Опубликовано: (1999)

Noninterference model for integrity
по: ZHANG Fan1, и др.
Опубликовано: (2011-01-01)

Noninterference model for integrity
по: ZHANG Fan1, и др.
Опубликовано: (2011-01-01)

Noninterference for a practical DIFC-based operating system
по: Krohn, Maxwell, и др.
Опубликовано: (2010)

Method for trust analysis of exchange process behavior based on noninterference
по: Yi SUN, и др.
Опубликовано: (2014-12-01)

Method for trust analysis of exchange process behavior based on noninterference
по: Yi SUN, и др.
Опубликовано: (2014-12-01)

Factors influencing bystander noninterference behavior in cyberbullying: a systematic literature review
по: Wang, Zhengmeng, и др.
Опубликовано: (2022)

Research of duality and multi-level security model based on intransitive noninterference theory
по: LIU Wei-peng1, и др.
Опубликовано: (2009-01-01)

Research of duality and multi-level security model based on intransitive noninterference theory
по: LIU Wei-peng1, и др.
Опубликовано: (2009-01-01)

Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus
по: Naokata Shikuma, и др.
Опубликовано: (2008-09-01)

Simple noninterference mechanism between the pitch and yaw axes for a wrist mechanism to be employed in robot-assisted laparoscopic surgery
по: Makoto Jinno
Опубликовано: (2019-01-01)

Noninterference Revealing of “Layered to Layered” Zinc Storage Mechanism of δ‐MnO2 toward Neutral Zn–Mn Batteries with Superior Performance
по: Yuqi Jiang, и др.
Опубликовано: (2020-03-01)

On the expressive power of CSP extended by priority
по: Roscoe, A
Опубликовано: (2014)

Towards Symmetry Aware Refinement Checking (Extended Abstract)
по: Moffat, N, и др.
Опубликовано: (2007)

Extended Deterrence and Extended Nuclear Deterrence in a Pandemic World
по: Allan Behm
Опубликовано: (2021-03-01)

Extending CORE for real world appliances
по: Eguchi, Glenn, 1980-
Опубликовано: (2014)

EXTENDED SELF: "TECHNOLOGIES OF THE SELF" IN THE MODERN WORLD
по: Tatiana V. Konyukhova, и др.
Опубликовано: (2021-03-01)

The potential of peer support to extend the reach of digital health
по: Nanton, Veronica, и др.
Опубликовано: (2020)

The timed failures−stability model for Timed CSP
по: Roscoe, A, и др.
Опубликовано: (1996)

Attuning to the World: The Diachronic Constitution of the Extended Conscious Mind
по: Michael D. Kirchhoff, и др.
Опубликовано: (2020-08-01)

Some Properties of Extended Euler’s Function and Extended Dedekind’s Function
по: Nicuşor Minculete, и др.
Опубликовано: (2020-07-01)

The timed failures - stability model for CSP
по: Reed, G, и др.
Опубликовано: (1999)

Translating timed automata to tock-CSP
по: Khattri, M, и др.
Опубликовано: (2011)

Translating Timed Automata to Tock−CSP
по: Khattri, M, и др.
Опубликовано: (2011)

A timed model for communicating sequential processes
по: Roscoe, A, и др.
Опубликовано: (1988)

Metric spaces as models for real−time concurrency
по: Roscoe, A, и др.
Опубликовано: (1988)

A timed model for communicating sequential processes
по: Roscoe, A, и др.
Опубликовано: (1986)

Composing and decomposing systems under security properties
по: Roscoe, A, и др.
Опубликовано: (1995)

Extended Quinolizinium-Fused Corannulene Derivatives: Synthesis and Properties
по: Lin Huang, и др.
Опубликовано: (2024-03-01)

The Extended Wigner’s Friend, Many-and Single-Worlds and Reasoning from Observation
по: Steane, A
Опубликовано: (2025)

Extending the Architecture of Collective Housing: Towards Common Worlds of Care
по: María-Elia Gutiérrez-Mozo, и др.
Опубликовано: (2021-04-01)

6G: Ubiquitously Extending to the Vast Underwater World of the Oceans
по: Yuanliang Ma, и др.
Опубликовано: (2022-01-01)

Model checking Timed CSP
по: Armstrong, P, и др.
Опубликовано: (2012)

Towards Extending CityGML for Property Valuation: Property Valuation ADE
по: S. El Yamani, и др.
Опубликовано: (2024-06-01)

Analysing TM_FS: a study of nondeterminism in real−time concurrency
по: Roscoe, A, и др.
Опубликовано: (1991)

Is Timing Everything?: The Role of Time on the Relationship between Patient-Centered Communication and Provider Empathy
по: Shanequa S. Roscoe-Nelson, и др.
Опубликовано: (2024-08-01)