Toward an automated verification of certificates of authenticity.
Darko KirovskiPublished in: EC (2004)
Keyphrases
- automated verification
- model checking
- automated reasoning
- formal verification
- digital images
- access control
- public key
- image content
- databases
- temporal logic
- graph theory
- decision trees
- artificial intelligence
- knowledge representation
- supervised learning
- evolutionary algorithm
- case study
- information systems
- public key infrastructure