@article{ dblp1768537,
  title = {Formalization of security patterns as a means to infer security controls in business processes},
  author = {Angel Jesus Varela-Vaca and Rafael M. Gasca},
  author_short = {Jesus Varela-Vaca, A. and Gasca, R. M.},
  bibtype = {article},
  type = {article},
  year = {2015},
  key = {dblp1768537},
  id = {dblp1768537},
  biburl = {http://www.dblp.org/rec/bibtex/journals/igpl/Varela-VacaG15},
  url = {http://dx.doi.org/10.1093/jigpal/jzu042},
  journal = {Logic Journal of the IGPL (IGPL)},
  pages = {57-72},
  number = {1},
  volume = {23},
  text = {Logic Journal of the IGPL (IGPL) 23(1):57-72 (2015)}
}

{"_id":"L3xXHpefAfSHCHHnT","bibbaseid":"jesusvarelavaca-gasca-formalizationofsecuritypatternsasameanstoinfersecuritycontrolsinbusinessprocesses-2015","downloads":0,"creationDate":"2015-11-10T19:17:58.985Z","title":"Formalization of security patterns as a means to infer security controls in business processes","author_short":["Jesus Varela-Vaca, A.","Gasca, R. M."],"year":2015,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/igpl/Varela-VacaG15","bibdata":{"title":"Formalization of security patterns as a means to infer security controls in business processes","author":["Angel Jesus Varela-Vaca","Rafael M. Gasca"],"author_short":["Jesus Varela-Vaca, A.","Gasca, R. M."],"bibtype":"article","type":"article","year":"2015","key":"dblp1768537","id":"dblp1768537","biburl":"http://www.dblp.org/rec/bibtex/journals/igpl/Varela-VacaG15","url":"http://dx.doi.org/10.1093/jigpal/jzu042","journal":"Logic Journal of the IGPL (IGPL)","pages":"57-72","number":"1","volume":"23","text":"Logic Journal of the IGPL (IGPL) 23(1):57-72 (2015)","bibtex":"@article{ dblp1768537,\n title = {Formalization of security patterns as a means to infer security controls in business processes},\n author = {Angel Jesus Varela-Vaca and Rafael M. Gasca},\n author_short = {Jesus Varela-Vaca, A. and Gasca, R. M.},\n bibtype = {article},\n type = {article},\n year = {2015},\n key = {dblp1768537},\n id = {dblp1768537},\n biburl = {http://www.dblp.org/rec/bibtex/journals/igpl/Varela-VacaG15},\n url = {http://dx.doi.org/10.1093/jigpal/jzu042},\n journal = {Logic Journal of the IGPL (IGPL)},\n pages = {57-72},\n number = {1},\n volume = {23},\n text = {Logic Journal of the IGPL (IGPL) 23(1):57-72 (2015)}\n}","bibbaseid":"jesusvarelavaca-gasca-formalizationofsecuritypatternsasameanstoinfersecuritycontrolsinbusinessprocesses-2015","role":"author","urls":{"Paper":"http://dx.doi.org/10.1093/jigpal/jzu042"},"downloads":0},"search_terms":["formalization","security","patterns","means","infer","security","controls","business","processes","jesus varela-vaca","gasca"],"keywords":[],"authorIDs":[],"dataSources":["mKXoeLHRLhNf4avum"]}