Compositional Security for Task-PIOAs

Canetti, Ran;Cheung, Ling;Kaynar, Dilsun;Lynch, Nancy;Pereira, Olivier
(2007) CSF ’07 — Location: Venice, Italy (6.July.2007)

Files

csf07.pdf
  • Open Access
  • Adobe PDF
  • 284.41 KB

Details

Authors
  • Canetti, RanIBM Research
    Author
  • Cheung, LingMIT
    Author
  • Kaynar, DilsunCarnegie Mellon University
    Author
  • Lynch, NancyMIT
    Author
  • Author
Affiliations

Citations

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