5475 search results - page 13 / 1095 » Model Driven Security |
149
click to vote
MSWIM
2006
ACM
15 years 11 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...
145
Voted
SAFECOMP
2001
Springer
15 years 10 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...
137
click to vote
ASIAN
2003
Springer
15 years 9 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...
118
Voted
ACSAC
2000
IEEE
15 years 10 months ago
2000
IEEE
159
click to vote
SE
2007
15 years 7 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...