87 search results - page 2 / 18 » Modeling System Security Rules with Time Constraints Using T... |
VALUETOOLS
2006
ACM
13 years 11 months ago
2006
ACM
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
ECRTS
2000
IEEE
13 years 10 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
SACMAT
2009
ACM
14 years 7 days ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
ETRICS
2006
13 years 9 months ago
2006
Intrusion detection aims at raising an alarm any time the security of an IT system gets compromised. Though highly successful, Intrusion Detection Systems are all susceptible of mi...
ISSTA
1998
ACM
13 years 9 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...