Knowledge structure approach to verification of authentication protocols.
Kaile SuGuanfeng LvQingliang ChenPublished in: Sci. China Ser. F Inf. Sci. (2005)
Keyphrases
- knowledge structures
- authentication protocol
- cryptographic protocols
- smart card
- knowledge representation
- security analysis
- knowledge based systems
- knowledge base
- variable precision
- public key
- lightweight
- learning objects
- model checking
- secret key
- security protocols
- knowledge domains
- real time
- information security
- formal analysis
- knowledge transfer
- hash functions
- knowledge management
- training data
- search engine
- machine learning