The design and analysis of an electronic evidence and non-repudiation protocol.

Yuan Ding Guo Tao Pingzhi Fan

Published in: ISADS (2005)

Keyphrases

software architecture
formal analysis
statistical analysis
database
information systems
data analysis
design process
design principles
engineering design
real time
neural network
image analysis
sensor networks
software engineering
control unit