Compositional Verification of Integrity for Digital Stream Signature Protocols.
Roberto GorrieriFabio MartinelliMarinella PetrocchiAnna VaccarelliPublished in: ACSD (2003)
Keyphrases
- signature verification
- cryptographic protocols
- model checking
- sliding window
- digital media
- integrity verification
- formal verification
- data streams
- integrity constraints
- continuous queries
- verification method
- security protocols
- database integrity
- integrity checking
- asynchronous circuits
- digital signature
- real time
- digital content
- face recognition