14824 search results - page 2596 / 2965 » Security - Introduction |
139
Voted
RULEML
2005
Springer
15 years 9 months 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 (...
102
Voted
SACRYPT
2005
Springer
15 years 9 months 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...
143
Voted
SAFECOMP
2005
Springer
15 years 9 months 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...
101
Voted
SAFECOMP
2005
Springer
15 years 9 months 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...
115
Voted
SAFECOMP
2005
Springer
15 years 9 months 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...