14824 search results - page 2596 / 2965 » Security - Introduction |
184
click to vote
RULEML
2005
Springer
16 years 7 days ago
2005
Springer
Enforcing rich policies in open environments will increasingly require the ability to dynamically identify external sources of information necessary to enforce different policies (...
137
click to vote
SACRYPT
2005
Springer
16 years 7 days ago
2005
Springer
Radio frequency identification systems based on low-cost computing devices is the new plaything that every company would like to adopt. Its goal can be either to improve the produ...
193
click to vote
SAFECOMP
2005
Springer
16 years 7 days ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
161
click to vote
SAFECOMP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
168
click to vote
SAFECOMP
2005
Springer
16 years 7 days ago
2005
Springer
Event trees are a popular technique for modelling accidents in system safety analyses. Bayesian networks are a probabilistic modelling technique representing influences between unc...