@inproceedings{AlShareefiLD:ABZ18,
  author    = {Farah Al{-}Shareefi and
               Alexei Lisitsa and Clare Dixon},
  editor    = {Michael J. Butler and
               Alexander Raschke and
               Thai Son Hoang and
               Klaus Reichl},
  title     = "{Clarification of Ambiguity for the Simple Authentication
                and Security  Layer}",
  booktitle = {Proc. 6th International Conference on Abstract
               State Machines, Alloy, B, TLA, VDM, and {Z} (ABZ)},
  series    = {Lecture Notes in Computer Science},
  volume    = {10817},
  pages     = {189-203},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-91271-4\_13},
  doi       = {10.1007/978-3-319-91271-4\_13},
  biburl    = {https://dblp.org/rec/bib/conf/asm/Al-ShareefiLD18},
  note = {[<span class="fs">FAIR-SPACE</span>]}
}

{"_id":"4Ta5QqGbBfi9jryAc","bibbaseid":"alshareefi-lisitsa-dixon-clarificationofambiguityforthesimpleauthenticationandsecuritylayer-2018","downloads":0,"creationDate":"2018-11-28T11:13:44.729Z","title":"Clarification of Ambiguity for the Simple Authentication and Security Layer","author_short":["Al-Shareefi, F.","Lisitsa, A.","Dixon, C."],"year":2018,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Farah"],"propositions":[],"lastnames":["Al-Shareefi"],"suffixes":[]},{"firstnames":["Alexei"],"propositions":[],"lastnames":["Lisitsa"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]}],"editor":[{"firstnames":["Michael","J."],"propositions":[],"lastnames":["Butler"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Raschke"],"suffixes":[]},{"firstnames":["Thai","Son"],"propositions":[],"lastnames":["Hoang"],"suffixes":[]},{"firstnames":["Klaus"],"propositions":[],"lastnames":["Reichl"],"suffixes":[]}],"title":"Clarification of Ambiguity for the Simple Authentication and Security Layer","booktitle":"Proc. 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)","series":"Lecture Notes in Computer Science","volume":"10817","pages":"189-203","publisher":"Springer","year":"2018","url":"https://doi.org/10.1007/978-3-319-91271-4\\_13","doi":"10.1007/978-3-319-91271-4_13","biburl":"https://dblp.org/rec/bib/conf/asm/Al-ShareefiLD18","note":"[<span class=\"fs\">FAIR-SPACE</span>]","bibtex":"@inproceedings{AlShareefiLD:ABZ18,\n author = {Farah Al{-}Shareefi and\n Alexei Lisitsa and Clare Dixon},\n editor = {Michael J. Butler and\n Alexander Raschke and\n Thai Son Hoang and\n Klaus Reichl},\n title = \"{Clarification of Ambiguity for the Simple Authentication\n and Security Layer}\",\n booktitle = {Proc. 6th International Conference on Abstract\n State Machines, Alloy, B, TLA, VDM, and {Z} (ABZ)},\n series = {Lecture Notes in Computer Science},\n volume = {10817},\n pages = {189-203},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-319-91271-4\\_13},\n doi = {10.1007/978-3-319-91271-4\\_13},\n biburl = {https://dblp.org/rec/bib/conf/asm/Al-ShareefiLD18},\n note = {[<span class=\"fs\">FAIR-SPACE</span>]}\n}\n\n","author_short":["Al-Shareefi, F.","Lisitsa, A.","Dixon, C."],"editor_short":["Butler, M. J.","Raschke, A.","Hoang, T. S.","Reichl, K."],"key":"AlShareefiLD:ABZ18","id":"AlShareefiLD:ABZ18","bibbaseid":"alshareefi-lisitsa-dixon-clarificationofambiguityforthesimpleauthenticationandsecuritylayer-2018","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-91271-4\\_13"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["clarification","ambiguity","simple","authentication","security","layer","al-shareefi","lisitsa","dixon"],"keywords":[],"authorIDs":[],"dataSources":["77JvGFZQteoFsRiyX","sf65xF3tXwz6TBuoQ","iqRbmbCgpDeaBjend"]}