8644 search results - page 399 / 1729 » On the Composition of Secure Systems |
174
click to vote
DSN
2000
IEEE
16 years 14 hour ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
193
click to vote
EMSOFT
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
276
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
In this demonstration, we present the ZOOM*UserView system, and focus on the module which generates a "user view" based on what tasks the user perceives to be relevant i...
180
click to vote
ICCD
2005
IEEE
16 years 4 months ago
2005
IEEE
We present a scalable architectural approach which aims to simplify embedded software development by supporting key development tasks like debugging, tracing and monitoring. Our a...
212
click to vote
ARTS
1999
Springer
15 years 12 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...