From Languages to Systems: Understanding Practical Application Development in Security-typed Languages

@article{Hicks2006FromLT,
  title={From Languages to Systems: Understanding Practical Application Development in Security-typed Languages},
  author={Boniface Hicks and Kiyan Ahmadizadeh and Patrick D. McDaniel},
  journal={2006 22nd Annual Computer Security Applications Conference (ACSAC'06)},
  year={2006},
  pages={153-164}
}
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple "toy" programs. As described in this paper, we have developed the first real-world, security-typed application: a secure email system written in the Java language variant Jif. Real-world policies are mapped onto the information flows controlled by the language primitives, and we consider the process and tractability of… CONTINUE READING
Highly Cited
This paper has 57 citations. REVIEW CITATIONS
41 Citations
34 References
Similar Papers

Citations

Publications citing this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…