2270 search results - page 148 / 454 » Modelling Secure IT Systems - A Survey |
111
Voted
ENTCS
2007
15 years 3 months ago
2007
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Au...
126
Voted
DSN
2008
IEEE
15 years 10 months ago
2008
IEEE
This research investigates the automation of security assessment of the static and dynamic properties of cyberinfrastructures, with emphasis on the electrical power grid. We descr...
161
click to vote
CSFW
1995
IEEE
15 years 7 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
162
Voted
ICNS
2006
IEEE
15 years 9 months ago
2006
IEEE
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...
126
Voted
TR
2008
15 years 3 months ago
2008
A number of security vulnerabilities have been reported in the Windows, and Linux operating systems. Both the developers, and users of operating systems have to utilize significant...