4511 search results - page 109 / 903 » Observation Based System Security |
147
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
In the paper we present a framework for the secure end-to-end delivery of messages in distributed messaging infrastructures based on the publish/subscribe paradigm. The framework ...
152
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
167
click to vote
SAFECOMP
1999
Springer
15 years 10 months ago
1999
Springer
Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In t...
173
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
The concept of having an integrated circuit (IC) generate its own unique digital signature has broad application in areas such as embedded systems security, and IP/IC counterpiracy...
176
click to vote
TRUSTBUS
2009
Springer
16 years 29 days ago
2009
Springer
SCADA systems represent a challenging scenario where the management of critical alarms is crucial. Their response to these alarms should be efficient and fast in order to mitigate ...