@inproceedings{DBLP:conf/IEEEias/ChaoHJ09,
  author    = {Chao Lv and
               Hui Li and
               Jianfeng Ma},
  title     = {Analysis the Properties of {TLS} Based on Temporal Logic of Knowledge},
  booktitle = {Proceedings of the Fifth International Conference on Information Assurance
               and Security, {IAS} 2009, Xi'An, China, 18-20 August 2009},
  pages     = {19--22},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/IAS.2009.49},
  doi       = {10.1109/IAS.2009.49},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/IEEEias/ChaoHJ09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"nfZpy4ZifkQZnYgLW","bibbaseid":"lv-li-ma-analysisthepropertiesoftlsbasedontemporallogicofknowledge-2009","author_short":["Lv, C.","Li, H.","Ma, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Chao"],"propositions":[],"lastnames":["Lv"],"suffixes":[]},{"firstnames":["Hui"],"propositions":[],"lastnames":["Li"],"suffixes":[]},{"firstnames":["Jianfeng"],"propositions":[],"lastnames":["Ma"],"suffixes":[]}],"title":"Analysis the Properties of TLS Based on Temporal Logic of Knowledge","booktitle":"Proceedings of the Fifth International Conference on Information Assurance and Security, IAS 2009, Xi'An, China, 18-20 August 2009","pages":"19–22","publisher":"IEEE Computer Society","year":"2009","url":"https://doi.org/10.1109/IAS.2009.49","doi":"10.1109/IAS.2009.49","timestamp":"Tue, 29 Dec 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/IEEEias/ChaoHJ09.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/IEEEias/ChaoHJ09,\n author = {Chao Lv and\n Hui Li and\n Jianfeng Ma},\n title = {Analysis the Properties of {TLS} Based on Temporal Logic of Knowledge},\n booktitle = {Proceedings of the Fifth International Conference on Information Assurance\n and Security, {IAS} 2009, Xi'An, China, 18-20 August 2009},\n pages = {19--22},\n publisher = {{IEEE} Computer Society},\n year = {2009},\n url = {https://doi.org/10.1109/IAS.2009.49},\n doi = {10.1109/IAS.2009.49},\n timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/IEEEias/ChaoHJ09.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Lv, C.","Li, H.","Ma, J."],"key":"DBLP:conf/IEEEias/ChaoHJ09","id":"DBLP:conf/IEEEias/ChaoHJ09","bibbaseid":"lv-li-ma-analysisthepropertiesoftlsbasedontemporallogicofknowledge-2009","role":"author","urls":{"Paper":"https://doi.org/10.1109/IAS.2009.49"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/l/HuiLi6.bib","dataSources":["cJM3WsWa9JXXBYQLZ"],"keywords":[],"search_terms":["analysis","properties","tls","based","temporal","logic","knowledge","lv","li","ma"],"title":"Analysis the Properties of TLS Based on Temporal Logic of Knowledge","year":2009}