2270 search results - page 253 / 454 » Modelling Secure IT Systems - A Survey |
207
click to vote
WORDS
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
254
click to vote
Book
A set of presentations covering the book, which includes the following topics ER Model and Conceptual Design, The Relational Model and SQL DDL, Relational Algebra, SQL, Database Ap...
147
click to vote
JCIT
2010
15 years 1 months ago
2010
With China's rapid economic development, electricity supply is relatively shortage, and the contradiction of power coal supply and demand is prominent. In this context, using...
210
click to vote
SIGMOD
2001
ACM
16 years 6 months ago
2001
ACM
Intrusion detection is an essential component of computer security mechanisms. It requires accurate and efficient analysis of a large amount of system and network audit data. It c...
153
click to vote
IFIP
2005
Springer
16 years 1 days ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...