The Application of Formal Methods to Real-World Cryptographic Algorithms, Protocols, and Systems.
Nicky MouhaAsmaa HailanePublished in: Computer (2021)
Keyphrases
- formal methods
- cryptographic algorithms
- development lifecycle
- knowledge based systems
- protocol specification
- artificial intelligence
- data mining
- formal specification
- security properties
- distributed systems
- access control
- security protocols
- expert systems
- software engineering
- key technologies
- case study
- knowledge base
- information systems