BibTeX record conf/skm/TalegaonK19

• > Home > conf/skm/TalegaonK19

@inproceedings{DBLP:conf/skm/TalegaonK19,
  author       = {Samir Talegaon and
                  Ram Krishnan},
  editor       = {Sanjay K. Sahay and
                  Nihita Goel and
                  Vishwas Patil and
                  Murtuza Jadliwala},
  title        = {A Formal Specification of Access Control in Android},
  booktitle    = {Secure Knowledge Management In Artificial Intelligence Era - 8th International
                  Conference, {SKM} 2019, Goa, India, December 21-22, 2019, Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {1186},
  pages        = {101--125},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-981-15-3817-9\_7},
  doi          = {10.1007/978-981-15-3817-9\_7},
  timestamp    = {Thu, 14 Oct 2021 09:48:02 +0200},
  biburl       = {https://dblp.org/rec/conf/skm/TalegaonK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}