Verification Across Intellectual Property Boundaries.

Journal article

In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) rights, the customer usually has no direct access to the suppliers' source code, and is able to enforce the use of verification tools only by legal requirements. In turn, the supplier has no means to convince the customer about successful verification without revealing the source code. This paper presents a new approach...

Expand abstract

Authors: Chaki, S; Schallhart, C; Veith, H

• Publication status: Published
• Publisher: Springer
• Journal: CAV
• Volume: 4590
• Issue: 2
• Pages: 82-94
• Publication date: 2007-01-01
• DOI: 10.1007/978-3-540-73368-3_11
• EISSN: 1611-3349
• ISSN: 1049-331X
• Language: English
• Keywords: Security; Verification; Management; Intellectual property; supply chain