418 search results - page 45 / 84 » Deriving Systems Level Security Properties of Component Base... |
CBSE
2004
Springer
14 years 1 months ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
Along with the burst of open source projects, software theft (or plagiarism) has become a very serious threat to the healthiness of software industry. Software birthmark, which re...
MIDDLEWARE
2007
Springer
14 years 1 months ago
2007
Springer
It is widely accepted that middleware is an important architectural element which facilitates the development of software systems. In this paper we propose a novel approach for de...
FM
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
SLE
2009
Springer
14 years 2 months ago
2009
Springer
Modularisation can reduce the effort in designing and maintaining language specifications. Existing approaches to language modularisation are typically either focused on language ...