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)