418 search results - page 36 / 84 » Deriving Systems Level Security Properties of Component Base... |
HIPEAC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper presents a new security architecture for protecting software confidentiality and integrity. Different from the previous process-centric systems designed for ...
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
JAR
2008
13 years 8 months ago
2008
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...
EMISA
2009
Springer
14 years 3 months ago
2009
Springer
: Integrated process support is highly desirable in environments where data related to a particular (business) process are scattered over distributed, heterogeneous information sys...
FTRTFT
2000
Springer
14 years 12 days ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...