Extending noninterference properties to the timed world

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Extending noninterference properties to the timed world

Full text

Pdf (159 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 2006 ACM symposium on Applied computing table of contents

Dijon, France

SESSION: Computer security (SEC) table of contents

Pages: 376 - 383

Year of Publication: 2006

ISBN:1-59593-108-2

Authors

Jian Huang	Oxford University, Oxford, UK
A. W. Roscoe	Oxford University, Oxford, UK

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 17, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1141277.1141363 What is a DOI?

ABSTRACT

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 tock view (a discrete timed model) to extend several traditional untimed noninterference properties to the timed world. These are the determinism-based conditions of [14], [15] and [17], and Forster's local noninterference properties [6], [7].

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	R. Focardi , R. Gorrieri, A Classification of Security Properties, University of Bologna, 1993
	2	R. Focardi and R. Gorrieri. An information flow security property for CCS. Proceedings of Second North American Process Algebra Workshop, (NAPAW'93), August 1993.
	3	R. Focardi, R. Gorrieri. "A Classification of Security Properties". Journal of Computer Security 3:1 (1994/1995) 5--33.
	4	R. Focardi, R. Gorrieri and F. Martinelli. Real Time information Flow Analysis. IEEE JSAC 21(1):20--35, 2003.
	5	Riccardo Focardi , Roberto Gorrieri , Fabio Martinelli, Information Flow Analysis in a Discrete-Time Process Algebra, Proceedings of the 13th IEEE Computer Security Foundations Workshop (CSFW'00), p.170, July 03-05, 2000
	6	R. Forster. "Noninterference Properties for Nondeterministic Systems". D. Phil thesis, Oxford University, 1999.
	7	R. Forster, G. M. Reed and A. W. Roscoe. "The Successes and Failures of Behavioural Models". In Millennial Perspectives in Computer Science, Palgrave 2000.
	8	J. A. Goguen, J. Meseguer. "Security Policies and Security Models". IEEE Symposium on Security and Privacy (1982), 11--20.
	9	J. A. Goguen, J. Meseguer. "Unwinding and Inference Control". IEEE Symposium on Security and Privacy (1984), 75--86.
	10	Joel Ouaknine. "Discrete Analysis of Continuous Behaviour in Real-Time Concurrent Systems". D. Phil thesis, Oxford University, 2000.
	11	Joel Ouaknine and G. Lowe. "On timed models and full abstraction", Proc MFPS 2005 (ENTCS).
	12	Joël Ouaknine , James Worrell, Timed CSP = closed timed ε-automata, Nordic Journal of Computing, v.10 n.2, p.99-133, Summer 2003
	13	G. M. Reed , A. W. Roscoe, The timed failures-stability model for CSP, Theoretical Computer Science, v.211 n.1-2, p.85-127, Jan. 28, 1999 [doi>10.1016/S0304-3975(98)00214-X]
	14	A. W. Roscoe, CSP and determinism in security modelling, Proceedings of the 1995 IEEE Symposium on Security and Privacy, p.114, May 08-10, 1995
	15	A. W. Roscoe , C. A. R. Hoare , Richard Bird, The Theory and Practice of Concurrency, Prentice Hall PTR, Upper Saddle River, NJ, 1997
	16	C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
	17	A. W. Roscoe , J. C. P. Woodcock , L. Wulf, Non-Interference Through Determinism, Proceedings of the Third European Symposium on Research in Computer Security, p.33-53, November 07-09, 1994
	18	A. W. Roscoe, J. P. C. Woodcock and L. Wulf. "Noninterference through determinism". Journal of Computer Security 4, 1 27--54.
	19	A. W. Roscoe , L. Wulf, Composing and decomposing systems under security properties, Proceedings of the The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), p.9, March 13-15, 1995
	20	D. Sutherland. "A Model of Information". Proceedings of the 9th National Computer Security Conference (September 1986), 175--183.
	21	J. T. Wittbold, D. M. Johnson. "Information Flow in Non-deterministic Systems". Proceedings of the 1990 Symposium on Research in Security and Privacy (1990), 144--161.
	22	L. Wulf, Interaction and security in distributed computing. Oxford University D.Phil thesis, 1997.