8644 search results - page 30 / 1729 » On the Composition of Secure Systems |
TRIDENTCOM
2010
IEEE
13 years 5 months ago
2010
IEEE
The Internet enables the way how global businesses and communities communicate today. In the last years, however, new demands have collided with old designs, resulting in a complex...
FMOODS
2006
13 years 9 months ago
2006
Abstract. We use a distributed, enriched -calculus for describing networks of services. Both services and their clients can protect themselves, by imposing security constraints on ...
JCS
2007
13 years 7 months ago
2007
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...
FM
2009
Springer
14 years 2 months ago
2009
Springer
ICTCS
2003
Springer
14 years 26 days ago
2003
Springer
