@inproceedings{DBLP:conf/icst/BozicKSW17,
  author       = {Josip Bozic and
                  Kristoffer Kleine and
                  Dimitris E. Simos and
                  Franz Wotawa},
  title        = {Planning-Based Security Testing of the {SSL/TLS} Protocol},
  booktitle    = {2017 {IEEE} International Conference on Software Testing, Verification
                  and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March
                  13-17, 2017},
  pages        = {347--355},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICSTW.2017.63},
  doi          = {10.1109/ICSTW.2017.63},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/BozicKSW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"vYTdXZN78J48Aj4cR","bibbaseid":"bozic-kleine-simos-wotawa-planningbasedsecuritytestingofthessltlsprotocol-2017","downloads":4,"creationDate":"2018-03-30T17:31:04.922Z","title":"Planning-Based Security Testing of the SSL/TLS Protocol","author_short":["Bozic, J.","Kleine, K.","Simos, D. E.","Wotawa, F."],"year":2017,"bibtype":"inproceedings","biburl":"http://dblp.org/pid/30/520.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Josip"],"propositions":[],"lastnames":["Bozic"],"suffixes":[]},{"firstnames":["Kristoffer"],"propositions":[],"lastnames":["Kleine"],"suffixes":[]},{"firstnames":["Dimitris","E."],"propositions":[],"lastnames":["Simos"],"suffixes":[]},{"firstnames":["Franz"],"propositions":[],"lastnames":["Wotawa"],"suffixes":[]}],"title":"Planning-Based Security Testing of the SSL/TLS Protocol","booktitle":"2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017","pages":"347–355","publisher":"IEEE Computer Society","year":"2017","url":"https://doi.org/10.1109/ICSTW.2017.63","doi":"10.1109/ICSTW.2017.63","timestamp":"Wed, 24 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/icst/BozicKSW17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icst/BozicKSW17,\n author = {Josip Bozic and\n Kristoffer Kleine and\n Dimitris E. Simos and\n Franz Wotawa},\n title = {Planning-Based Security Testing of the {SSL/TLS} Protocol},\n booktitle = {2017 {IEEE} International Conference on Software Testing, Verification\n and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March\n 13-17, 2017},\n pages = {347--355},\n publisher = {{IEEE} Computer Society},\n year = {2017},\n url = {https://doi.org/10.1109/ICSTW.2017.63},\n doi = {10.1109/ICSTW.2017.63},\n timestamp = {Wed, 24 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/icst/BozicKSW17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bozic, J.","Kleine, K.","Simos, D. E.","Wotawa, F."],"key":"DBLP:conf/icst/BozicKSW17","id":"DBLP:conf/icst/BozicKSW17","bibbaseid":"bozic-kleine-simos-wotawa-planningbasedsecuritytestingofthessltlsprotocol-2017","role":"author","urls":{"Paper":"https://doi.org/10.1109/ICSTW.2017.63"},"metadata":{"authorlinks":{"kleine, k":"https://matris.sba-research.org/","simos, d":"https://matris.sba-research.org/"}}},"search_terms":["planning","based","security","testing","ssl","tls","protocol","bozic","kleine","simos","wotawa"],"keywords":[],"authorIDs":["4BfrwP2mkbopZbjyr","5de185adfa4659df01000036","5de94012b8c3f8de01000100","5de9cafe5e5ac8de0100009e","5df4d856fc47dbde01000014","5dff4644ddf837de01000001","5e00ac5f05b03cf3010000af","5e149b45830852de0100007b","5e189ab1779abfdf01000135","5e2246b575445bf201000092","5e24f62e2e79a1f20100000c","5e2584e1d31494de01000032","5e2de25b133023de01000049","5e3624d91727e7df010000a7","5e424321ac099bde010000ec","5e4a2b4fd2dbc8de010000eb","5e5f451a9771b7de01000120","5e8dTZYJnfsweNWzM","BWXYrwam45AJWd66B","EMceZc8EwuuvWtpKv","EiZ3HSwmn3NfNwLXm","Jc7cZAq2YR533dJh4","Jsnm2k7maoW2qR833","Mvr9LNWHf8ufvfjKX","PSPWcr7efqNPuTGE6","YeuXqTzPoS7asuago","Z3TermA4AfCbvLBLY","Z3i3sGz9uZBBNw65z","ZLTTf6XXir87uwHMC","aQg2DhLT6xgvseA8d","euyXLmJf2esXvikzR","fQFup92ipGJfQFckx","ph3wvM6ymTYDXuJb8","ppuJW56Dc8sy2nYsz","qPMAaj8KZ7nzpRCuD","qYLpTbaaay2DgwWox","rH66cnaSYH7d5Xjw8","ufRde53oqMbYHkd6h","yL5nFamJ6KBPbLJjT","zo5quxkTY2p48vsnq"],"dataSources":["Ma9eo5dL7qShKtBWa","Deq6RvrSBaqdFeYqZ","dRwocXjGguzaqHvum"]}