作者: Aidan T. Hughes , Raymond Fowkes , Joel Downer
DOI:
关键词: Software engineering 、 Digital signature 、 Real-time computing 、 Computer science 、 Runtime verification
摘要: Systems and methods for providing incremental verification of the authenticity a document given computer system are disclosed.