loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
30th EUROMICRO Conference (EUROMICRO'04)
A Compositional Claim-based Component Certification Procedure
Rennes, France
August 31-September 03
ISBN: 0-7695-2199-1
Hailiang Mei, Eindhoven University of Technology, The Netherlands
Johan Lukkien, Eindhoven University of Technology, The Netherlands
Johan Muskens, Eindhoven University of Technology, The Netherlands
Component-based software construction is of much interest in software engineering due to its promise of black-box composition and independent deployment. Because of this black-box nature, users of components must be concerned with their trustworthiness, in particular when third parties are involved. Component certification is used to improve trust, usually relating the component to the party that made it. In order to support predictable assembly the certification procedure should also address extra-functional properties. In addition, certificates should remain valid across certain compositions.
In this paper we present a certification procedure in the context of the ROBOCOP component architecture We discuss specific requirements, introduce terminology and present a solution.
Index Terms:
Component-based software system, Component certification, Component verification, Component sealing and Secured certificate
Citation:
Hailiang Mei, Johan Lukkien, Johan Muskens, "A Compositional Claim-based Component Certification Procedure," euromicro, pp.620-626, 30th EUROMICRO Conference (EUROMICRO'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.