5475 search results - page 13 / 1095 » Model Driven Security |
99
Voted
MSWIM
2006
ACM
15 years 6 months ago
2006
ACM
Wireless sensor networks (WSNs) have recently attracted a lot of interest due to the range of applications they enable. Unfortunately, WSNs are exposed to numerous security threat...
89
Voted
SAFECOMP
2001
Springer
15 years 4 months ago
2001
Springer
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer...
92
Voted
ASIAN
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. We provide a formal definition of information flows in XML transformations and, more generally, in the presence of type driven computations and describe a sound technique...
68
Voted
ACSAC
2000
IEEE
15 years 4 months ago
2000
IEEE
103
Voted
SE
2007
15 years 1 months ago
2007
: Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this...