Corpus ID: 33116114

Programming languages for information security

@inproceedings{Zdancewic2002ProgrammingLF,
  title={Programming languages for information security},
  author={S. Zdancewic and A. Myers},
  year={2002}
}
Our society's widespread dependence on networked information systems for everything from personal finance to military communications makes it essential to improve the security of software. Standard security mechanisms such as access control and encryption are essential components for protecting information, but they do not provide end-to-end guarantees. Programming-languages research has demonstrated that security concerns can be addressed by using both program analysis and program rewriting as… Expand
Language-based information-flow security
A Type System for Robust Declassification
Designing a Security-typed Language with Certificate-based Declassification
A verified information-flow architecture
Flexible Information-Flow Control
Secure Information Flow as a Safety Property
  • G. Boudol
  • Computer Science
  • Formal Aspects in Security and Trust
  • 2008
Practical dynamic information flow control
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 154 REFERENCES
A type system for expressive security policies
Secure Information Flow via Linear Continuations
A theory for system security
  • Kan Zhang
  • Computer Science
  • Proceedings 10th Computer Security Foundations Workshop
  • 1997
Transforming out timing leaks
A Per Model of Secure Information Flow in Sequential Programs
...
1
2
3
4
5
...