5475 search results - page 13 / 1095 » Model Driven Security |
MSWIM
2006
ACM
14 years 3 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...
SAFECOMP
2001
Springer
14 years 2 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...
ASIAN
2003
Springer
14 years 1 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...
ACSAC
2000
IEEE
14 years 2 months ago
2000
IEEE
SE
2007
13 years 11 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...