191 search results - page 38 / 39 » Building Intrusion-Tolerant Secure Software |
BROADNETS
2006
IEEE
14 years 18 hour ago
2006
IEEE
In this paper we address three challenges that are present when building and analyzing wireless sensor networks (WSN) as part of ubiquitous computing environment: the need for an ...
PLDI
2006
ACM
13 years 12 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
CASSIS
2005
Springer
13 years 11 months ago
2005
Springer
Today many interactions are carried out online through Web sites and e-services and often private and/or sensitive information is required by service providers. A growing concern r...
OOPSLA
2005
Springer
13 years 11 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
TSE
2008
13 years 5 months ago
2008
Web applications are widely adopted and their correct functioning is mission critical for many businesses. At the same time, Web applications tend to be error prone and implementat...