@Article{Bartoletti:2004:SIS,
  author =       "Massimo Bartoletti and Pierpaolo Degano and Gian Luigi
                 Ferrari",
  title =        "Stack inspection and secure program transformations",
  journal =      j-INT-J-INFO-SEC,
  volume =       "2",
  number =       "3--4",
  pages =        "187--217",
  month =        aug,
  year =         "2004",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1007/s10207-004-0038-8",
  ISSN =         "1615-5262 (print), 1615-5270 (electronic)",
  ISSN-L =       "1615-5262",
  bibdate =      "Tue Jan 23 16:01:23 MST 2018",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/intjinfosec.bib",
  URL =          "http://link.springer.com/article/10.1007/s10207-004-0038-8",
  acknowledgement = ack-nhfb,
  fjournal =     "International Journal of Information Security",
  journal-URL =  "https://link.springer.com/journal/10207",
}

{"_id":"3FiTzqnDQb9PNPDDt","bibbaseid":"bartoletti-degano-ferrari-stackinspectionandsecureprogramtransformations-2004","author_short":["Bartoletti, M.","Degano, P.","Ferrari, G. L."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Massimo"],"propositions":[],"lastnames":["Bartoletti"],"suffixes":[]},{"firstnames":["Pierpaolo"],"propositions":[],"lastnames":["Degano"],"suffixes":[]},{"firstnames":["Gian","Luigi"],"propositions":[],"lastnames":["Ferrari"],"suffixes":[]}],"title":"Stack inspection and secure program transformations","journal":"International Journal of Information Security","volume":"2","number":"3–4","pages":"187–217","month":"August","year":"2004","coden":"????","doi":"https://doi.org/10.1007/s10207-004-0038-8","issn":"1615-5262 (print), 1615-5270 (electronic)","issn-l":"1615-5262","bibdate":"Tue Jan 23 16:01:23 MST 2018","bibsource":"https://www.math.utah.edu/pub/tex/bib/intjinfosec.bib","url":"http://link.springer.com/article/10.1007/s10207-004-0038-8","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{Bartoletti:2004:SIS,\n author = \"Massimo Bartoletti and Pierpaolo Degano and Gian Luigi\n Ferrari\",\n title = \"Stack inspection and secure program transformations\",\n journal = j-INT-J-INFO-SEC,\n volume = \"2\",\n number = \"3--4\",\n pages = \"187--217\",\n month = aug,\n year = \"2004\",\n CODEN = \"????\",\n DOI = \"https://doi.org/10.1007/s10207-004-0038-8\",\n ISSN = \"1615-5262 (print), 1615-5270 (electronic)\",\n ISSN-L = \"1615-5262\",\n bibdate = \"Tue Jan 23 16:01:23 MST 2018\",\n bibsource = \"https://www.math.utah.edu/pub/tex/bib/intjinfosec.bib\",\n URL = \"http://link.springer.com/article/10.1007/s10207-004-0038-8\",\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":["Bartoletti, M.","Degano, P.","Ferrari, G. L."],"key":"Bartoletti:2004:SIS","id":"Bartoletti:2004:SIS","bibbaseid":"bartoletti-degano-ferrari-stackinspectionandsecureprogramtransformations-2004","role":"author","urls":{"Paper":"http://link.springer.com/article/10.1007/s10207-004-0038-8"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"ftp.math.utah.edu/pub/tex/bib/intjinfosec.bib","dataSources":["fEXH7XH8oyBtpzKFi"],"keywords":[],"search_terms":["stack","inspection","secure","program","transformations","bartoletti","degano","ferrari"],"title":"Stack inspection and secure program transformations","year":2004}