Sciweavers

24 search results - page 5 / 5
» Certifying Off-the-Shelf Software Components
Sort
View
WIMAW
2008
13 years 6 months ago
Software Industrialization and Architecture Certification
: The industrialization of software development induces several changes to the development process as software development becomes distributed over company borders. They cooperativ...
Christoph Rathfelder, Henning Groenda, Ralf Reussn...
FM
2008
Springer
130views Formal Methods» more  FM 2008»
13 years 7 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
ECEASST
2010
13 years 2 months ago
Safe Integration of Annotated Components in Open Source Projects
: The decision of using existing software components versus building from scratch custom software is one of the most complex and important choices of the entire development/integra...
Sergio Areias, Daniela Carneiro da Cruz, Pedro Ran...
SEC
2004
13 years 6 months ago
Trusted Computing, Trusted Third Parties, and Verified Communications
Trusted Computing gives rise to a new supply of trusted third parties on which distributed systems can potentially rely. They are the secure system components (hardware and softwa...
Martín Abadi