Secure Information Flow via Linear Continuations - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Steve Zdancewic, Andrew C. Myers. Secure Information Flow via Linear Continuations. Higher-Order and Symbolic Computation, 15(2-3):209-234, 2002.

@article{ZdancewicM02,
  title = {Secure Information Flow via Linear Continuations},
  author = {Steve Zdancewic and Andrew C. Myers},
  year = {2002},
  tags = {data-flow, C++},
  researchr = {https://researchr.org/publication/ZdancewicM02},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {15},
  number = {2-3},
  pages = {209-234},
}

runs on WebDSL