Abstract
We describe a model for managing time-oriented security system and methods to perform simulation on this systems like forward and backward-chaining. Ad hoc solutions may be obtained but often fail to address various issues. Or method in pratice, provides a new trend for design and verify a security system, to ensure themselves of maintain integrite walls of compartments and to ensure of the correct operation of those, while verifiant that the good configuration of the syteme allows resiter well to predefined temperatures.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alur, R., Dill, A.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Musumbu, K. (2003). Simulating Security Systems Based on Logigrams. In: Palamidessi, C. (eds) Logic Programming. ICLP 2003. Lecture Notes in Computer Science, vol 2916. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24599-5_41
Download citation
DOI: https://doi.org/10.1007/978-3-540-24599-5_41
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20642-2
Online ISBN: 978-3-540-24599-5
eBook Packages: Springer Book Archive