Compositional Security for Task-PIOAsCanetti, Ran;Cheung, Ling;Kaynar, Dilsun;Lynch, Nancy;Pereira, Olivier(2007) CSF ’07 — Location: Venice, Italy (6.July.2007)
Filescsf07.pdf Open Access Adobe PDF284.41 KBDownloadDetailsAuthorsCanetti, RanIBM ResearchAuthorCheung, LingMITAuthorKaynar, DilsunCarnegie Mellon UniversityAuthorLynch, NancyMITAuthorPereira, OlivierUCLouvainAuthorAffiliationsIBM ResearchT.J. Watson CenterMITCSAILCarnegie Mellon UniversityUCLouvainFSA/ELEC - Département d'électricitéShow moreCitations APA Chicago FWB Canetti, R., Cheung, L., Kaynar, D., Lynch, N., & Pereira, O. (2007). Compositional Security for Task-PIOAs. Computer Security Foundations Symposium, 2007. CSF ’07. 20th IEEE, p. 125-139. https://hdl.handle.net/2078.5/220889