@article{journals/corr/abs-1208-6106,
  added-at = {2012-10-10T00:00:00.000+0200},
  author = {Balliu, Musard and Dam, Mads and Guernic, Gurvan Le},
  biburl = {http://www.bibsonomy.org/bibtex/2bb28fe3edf8edd5c9d76575d768c1ed0/dblp},
  ee = {http://arxiv.org/abs/1208.6106},
  interhash = {d1730d96d663d51b47066423bbdc8ea1},
  intrahash = {bb28fe3edf8edd5c9d76575d768c1ed0},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2012-10-11T11:39:15.000+0200},
  title = {Epistemic Temporal Logic for Information Flow Security},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1208.html#abs-1208-6106},
  volume = {abs/1208.6106},
  year = 2012
}

{"_id":"sQwJt8ukcwNz7J2mN","bibbaseid":"balliu-dam-guernic-epistemictemporallogicforinformationflowsecurity-2012","downloads":0,"creationDate":"2016-09-14T11:41:42.978Z","title":"Epistemic Temporal Logic for Information Flow Security","author_short":["Balliu, M.","Dam, M.","Guernic, G. L."],"year":2012,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/guernic?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2012-10-10T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Balliu"],"firstnames":["Musard"],"suffixes":[]},{"propositions":[],"lastnames":["Dam"],"firstnames":["Mads"],"suffixes":[]},{"propositions":[],"lastnames":["Guernic"],"firstnames":["Gurvan","Le"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2bb28fe3edf8edd5c9d76575d768c1ed0/dblp","ee":"http://arxiv.org/abs/1208.6106","interhash":"d1730d96d663d51b47066423bbdc8ea1","intrahash":"bb28fe3edf8edd5c9d76575d768c1ed0","journal":"CoRR","keywords":"dblp","timestamp":"2012-10-11T11:39:15.000+0200","title":"Epistemic Temporal Logic for Information Flow Security","url":"http://dblp.uni-trier.de/db/journals/corr/corr1208.html#abs-1208-6106","volume":"abs/1208.6106","year":"2012","bibtex":"@article{journals/corr/abs-1208-6106,\n added-at = {2012-10-10T00:00:00.000+0200},\n author = {Balliu, Musard and Dam, Mads and Guernic, Gurvan Le},\n biburl = {http://www.bibsonomy.org/bibtex/2bb28fe3edf8edd5c9d76575d768c1ed0/dblp},\n ee = {http://arxiv.org/abs/1208.6106},\n interhash = {d1730d96d663d51b47066423bbdc8ea1},\n intrahash = {bb28fe3edf8edd5c9d76575d768c1ed0},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2012-10-11T11:39:15.000+0200},\n title = {Epistemic Temporal Logic for Information Flow Security},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1208.html#abs-1208-6106},\n volume = {abs/1208.6106},\n year = 2012\n}\n\n","author_short":["Balliu, M.","Dam, M.","Guernic, G. L."],"key":"journals/corr/abs-1208-6106","id":"journals/corr/abs-1208-6106","bibbaseid":"balliu-dam-guernic-epistemictemporallogicforinformationflowsecurity-2012","role":"author","urls":{"Link":"http://arxiv.org/abs/1208.6106","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1208.html#abs-1208-6106"},"keyword":["dblp"],"downloads":0},"search_terms":["epistemic","temporal","logic","information","flow","security","balliu","dam","guernic"],"keywords":["dblp"],"authorIDs":[],"dataSources":["Q4AxEyCiwhuEHt7Ey"]}