Abstract
Certification authorities require correctness and survivability. In the temporal domain this requires a convincing argument that all deadlines will be......
小提示:本篇文献需要登录阅读全文,点击跳转登录