757 search results - page 60 / 152 » Composing Security-Aware Software |
91
Voted
COMPSAC
2005
IEEE
15 years 9 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...
139
click to vote
QSIC
2005
IEEE
15 years 9 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...
136
click to vote
UIST
2005
ACM
15 years 9 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...
128
click to vote
EUC
2005
Springer
15 years 9 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...
108
Voted
AMAST
2004
Springer
15 years 8 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...