BibTeX record conf/pst/PrimieroR14

• > Home > conf/pst/PrimieroR14

@inproceedings{DBLP:conf/pst/PrimieroR14,
  author       = {Giuseppe Primiero and
                  Franco Raimondi},
  editor       = {Ali Miri and
                  Urs Hengartner and
                  Nen{-}Fu Huang and
                  Audun J{\o}sang and
                  Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro},
  title        = {A typed natural deduction calculus to reason about secure trust},
  booktitle    = {2014 Twelfth Annual International Conference on Privacy, Security
                  and Trust, Toronto, ON, Canada, July 23-24, 2014},
  pages        = {379--382},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PST.2014.6890963},
  doi          = {10.1109/PST.2014.6890963},
  timestamp    = {Thu, 23 Mar 2023 23:58:36 +0100},
  biburl       = {https://dblp.org/rec/conf/pst/PrimieroR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}