8644 search results - page 57 / 1729 » On the Composition of Secure Systems |
SAFECOMP
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. With the integration of security-critical services into Building Automation Systems (BAS), the demands on the underlying network technologies increase rapidly. Relying on...
IEEEARES
2007
IEEE
14 years 2 months ago
2007
IEEE
Information technologies and society are highly interwoven nowadays, but in both, the private and business sector, users are often not aware of security issues or lack proper secu...
FOSAD
2007
Springer
14 years 1 months ago
2007
Springer
FORMATS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
SIS
2004
13 years 9 months ago
2004
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...