Analysis the Properties of TLS Based on Temporal Logic of Knowledge. Lv, C., Li, H., & Ma, J. In Proceedings of the Fifth International Conference on Information Assurance and Security, IAS 2009, Xi'An, China, 18-20 August 2009, pages 19–22, 2009. IEEE Computer Society.
Paper doi bibtex @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}
}
Downloads: 0
{"_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}