757 search results - page 60 / 152 » Composing Security-Aware Software |
126
click to vote
COMPSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...
173
click to vote
QSIC
2005
IEEE
15 years 11 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
164
click to vote
UIST
2005
ACM
15 years 11 months ago
2005
ACM
This paper describes a physically embodied and animated user interface to an interactive call handling agent, consisting of a small wireless animatronic device in the form of a sq...
165
click to vote
EUC
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we introduce a concrete, practical Ubiquitous Organizational Information (UOI) service framework, providing novice users intelligent and useful services with respect...
139
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...