756 search results - page 46 / 152 » Modeling Computational Security in Long-Lived Systems |
DSN
2008
IEEE
15 years 6 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...
104
click to vote
ICDCS
2002
IEEE
15 years 4 months ago
2002
IEEE
We present here the execution model of a policy-driven middleware for building secure distributed collaboration systems from their high level specifications. Our specification m...
SAFECOMP
2005
Springer
15 years 5 months ago
2005
Springer
When the safety community designs their systems to also maintain security properties, it is likely that public-key encryption will be among the tools that are applied. The security...
106
click to vote
CONTEXT
2003
Springer
15 years 5 months ago
2003
Springer
In conventional security systems, protected resources such as documents, hardware devices and software applications follow an On/Off access policy. On, allows to grant access and ...
107
click to vote
GIS
2008
ACM
15 years 28 days ago
2008
ACM
With the growth of wireless and mobile technologies, we are witnessing an increase in location-based services (LBS). Although LBS provide enhanced functionalities, they open up ne...