2004 search results - page 60 / 401 » Comparison of Model Checking Tools for Information Systems |
111
click to vote
IPM
2007
14 years 11 months ago
2007
This study proposes the codification of lexical information in electronic dictionaries, in accordance with a generic and extendable XML scheme model, and its conjunction with lin...
JCS
2011
14 years 6 months ago
2011
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...
CSSE
2008
IEEE
15 years 6 months ago
2008
IEEE
—Risk assessment is a very important tool to acquire a present and future security status of the network information system. Many risk assessment approaches consider the present ...
OOPSLA
1998
Springer
15 years 4 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
100
click to vote
ATVA
2010
Springer
15 years 1 days ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...