{"_id":"pAMDsXfd8FRwkq9GS","bibbaseid":"ngo-stoelinga-huisman-effectiveverificationofconfidentialityformultithreadedprograms-2014","authorIDs":["5d14be645b939dee01000058"],"author_short":["Ngo, T. M.","Stoelinga, M.","Huisman, M."],"bibdata":{"bibtype":"article","type":"article","added-at":"2014-03-19T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Ngo"],"firstnames":["Tri","Minh"],"suffixes":[]},{"propositions":[],"lastnames":["Stoelinga"],"firstnames":["Mariëlle"],"suffixes":[]},{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2d4ba15f92e83e8071b97db26bf94f937/dblp","ee":"http://dx.doi.org/10.3233/JCS-130492","interhash":"434fead1ca2194c39b4fcee976993e75","intrahash":"d4ba15f92e83e8071b97db26bf94f937","journal":"Journal of Computer Security","keywords":"dblp","number":"2","pages":"269-300","timestamp":"2015-06-18T06:22:30.000+0200","title":"Effective verification of confidentiality for multi-threaded programs.","url":"http://dblp.uni-trier.de/db/journals/jcs/jcs22.html#NgoSH14","volume":"22","year":"2014","bibtex":"@article{journals/jcs/NgoSH14,\n added-at = {2014-03-19T00:00:00.000+0100},\n author = {Ngo, Tri Minh and Stoelinga, Mariëlle and Huisman, Marieke},\n biburl = {https://www.bibsonomy.org/bibtex/2d4ba15f92e83e8071b97db26bf94f937/dblp},\n ee = {http://dx.doi.org/10.3233/JCS-130492},\n interhash = {434fead1ca2194c39b4fcee976993e75},\n intrahash = {d4ba15f92e83e8071b97db26bf94f937},\n journal = {Journal of Computer Security},\n keywords = {dblp},\n number = 2,\n pages = {269-300},\n timestamp = {2015-06-18T06:22:30.000+0200},\n title = {Effective verification of confidentiality for multi-threaded programs.},\n url = {http://dblp.uni-trier.de/db/journals/jcs/jcs22.html#NgoSH14},\n volume = 22,\n year = 2014\n}\n\n","author_short":["Ngo, T. M.","Stoelinga, M.","Huisman, M."],"key":"journals/jcs/NgoSH14","id":"journals/jcs/NgoSH14","bibbaseid":"ngo-stoelinga-huisman-effectiveverificationofconfidentialityformultithreadedprograms-2014","role":"author","urls":{"Link":"http://dx.doi.org/10.3233/JCS-130492","Paper":"http://dblp.uni-trier.de/db/journals/jcs/jcs22.html#NgoSH14"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Marieke Huisman?items=1000","creationDate":"2019-06-27T13:02:29.158Z","downloads":0,"keywords":["dblp"],"search_terms":["effective","verification","confidentiality","multi","threaded","programs","ngo","stoelinga","huisman"],"title":"Effective verification of confidentiality for multi-threaded programs.","year":2014,"dataSources":["sAaBbgDRpNpcvbGWj"]}