Download now Free registration required
API level vulnerabilities of hardware security modules represent a serious threat, thus, discovering and patching security holes in APIs are important. In this paper, the authors argue and illustrate that the application of formal verification methods is a promising approach for API analysis. In particular, they propose an API verification method based on process algebra. The proposed method seems to be extremely well-suited for API analysis as it allows for the straightforward modelling of the API, the precise definition of the security requirements, and the rigorous verification of the security properties offered by the API.
- Format: PDF
- Size: 275.75 KB