@Article{Armando:2008:SBM,
  author =       "Alessandro Armando and Luca Compagna",
  title =        "{SAT}-based model-checking for security protocols
                 analysis",
  journal =      j-INT-J-INFO-SEC,
  volume =       "7",
  number =       "1",
  pages =        "3--32",
  month =        jan,
  year =         "2008",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1007/s10207-007-0041-y",
  ISSN =         "1615-5262 (print), 1615-5270 (electronic)",
  ISSN-L =       "1615-5262",
  bibdate =      "Tue Jan 23 16:01:28 MST 2018",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/intjinfosec.bib",
  URL =          "http://link.springer.com/article/10.1007/s10207-007-0041-y",
  acknowledgement = ack-nhfb,
  fjournal =     "International Journal of Information Security",
  journal-URL =  "https://link.springer.com/journal/10207",
}

{"_id":"L5Ceo7TCrGxj9DiNv","bibbaseid":"armando-compagna-satbasedmodelcheckingforsecurityprotocolsanalysis-2008","downloads":0,"creationDate":"2016-08-26T09:24:47.380Z","title":"SAT-based model-checking for security protocols analysis","author_short":["Armando, A.","Compagna, L."],"year":2008,"bibtype":"article","biburl":"ftp.math.utah.edu/pub/tex/bib/intjinfosec.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Armando"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Compagna"],"suffixes":[]}],"title":"SAT-based model-checking for security protocols analysis","journal":"International Journal of Information Security","volume":"7","number":"1","pages":"3–32","month":"January","year":"2008","coden":"????","doi":"https://doi.org/10.1007/s10207-007-0041-y","issn":"1615-5262 (print), 1615-5270 (electronic)","issn-l":"1615-5262","bibdate":"Tue Jan 23 16:01:28 MST 2018","bibsource":"https://www.math.utah.edu/pub/tex/bib/intjinfosec.bib","url":"http://link.springer.com/article/10.1007/s10207-007-0041-y","acknowledgement":"Nelson H. F. Beebe, University of Utah, Department of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake City, UT 84112-0090, USA, Tel: +1 801 581 5254, e-mail: \\path|beebe@math.utah.edu|, \\path|beebe@acm.org|, \\path|beebe@computer.org| (Internet), URL: \\path|https://www.math.utah.edu/ beebe/|","fjournal":"International Journal of Information Security","journal-url":"https://link.springer.com/journal/10207","bibtex":"@Article{Armando:2008:SBM,\n author = \"Alessandro Armando and Luca Compagna\",\n title = \"{SAT}-based model-checking for security protocols\n analysis\",\n journal = j-INT-J-INFO-SEC,\n volume = \"7\",\n number = \"1\",\n pages = \"3--32\",\n month = jan,\n year = \"2008\",\n CODEN = \"????\",\n DOI = \"https://doi.org/10.1007/s10207-007-0041-y\",\n ISSN = \"1615-5262 (print), 1615-5270 (electronic)\",\n ISSN-L = \"1615-5262\",\n bibdate = \"Tue Jan 23 16:01:28 MST 2018\",\n bibsource = \"https://www.math.utah.edu/pub/tex/bib/intjinfosec.bib\",\n URL = \"http://link.springer.com/article/10.1007/s10207-007-0041-y\",\n acknowledgement = ack-nhfb,\n fjournal = \"International Journal of Information Security\",\n journal-URL = \"https://link.springer.com/journal/10207\",\n}\n\n","author_short":["Armando, A.","Compagna, L."],"key":"Armando:2008:SBM","id":"Armando:2008:SBM","bibbaseid":"armando-compagna-satbasedmodelcheckingforsecurityprotocolsanalysis-2008","role":"author","urls":{"Paper":"http://link.springer.com/article/10.1007/s10207-007-0041-y"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["sat","based","model","checking","security","protocols","analysis","armando","compagna"],"keywords":[],"authorIDs":[],"dataSources":["EQov9rEvkmMf5P4ah","fEXH7XH8oyBtpzKFi"]}