A typed assembly language for confidentiality

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3924 LNCS, Issue , 2006, Pages 162-179

  Yu, Dachuan ^a   Islam, Nayeem ^a  

^a DOCOMO USA LABS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CODES (SYMBOLS); COMPUTATION THEORY; COMPUTER PROGRAMMING; DATA REDUCTION; DISTRIBUTED COMPUTER SYSTEMS; ELECTRONIC EQUIPMENT MANUFACTURE; INFORMATION ANALYSIS; PROBLEM SOLVING; COMPUTATIONAL LINGUISTICS; JAVA PROGRAMMING LANGUAGE;

ASSEMBLY CODES; COMPUTING BASE; LANGUAGE-BASED INFORMATION-FLOW ANALYSIS; TYPED ASSEMBLY LANGUAGES; ASSEMBLY CODE; CERTIFYING COMPILATION; DATA CONFIDENTIALITY; EFFECTIVE SOLUTION; INFORMATION FLOW ANALYSIS; PROGRAM STRUCTURES; TRUSTED COMPUTING BASE; TYPED ASSEMBLY LANGUAGE;

COMPUTER PROGRAMMING LANGUAGES; CODES (SYMBOLS);

EID: 33745771350     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11693024_12     Document Type: Conference Paper

References (24)

1. M. Abadi, A. Banerjee, H. Heintze, and J. G. Riecke. A core calculus of dependency. In Proc. 26th ACM Symp. on Prin. of Prog. Lang., pages 147-160, San Antonio, TX, Jan. 1999.
2. J. Agat. Transforming out timing leaks. In Proc. 27th ACM Symposium on Principles of Programming Languages, pages 40-53, Boston, MA, Jan. 2000.
3. J. Agat. Type Based Techniques for Covert Channel Elimination and Register Allocation. PhD thesis, Chalmers Univ. of Tech. and Gothenburg Univ., Gothenburg, Sweden, Dec. 2000.
4. T. Ball. What's in a region? Or computing control dependence regions in near-linear time for reducible control flow. ACM Letters on Prog. Long. and Syst., 2(1-4):1-16, Mar-Dec. 1993.
5. A. Banerjee and D. A. Naumann. Secure information flow and pointer confinement in a Java-like language. In Proc. 15th IEEE CSFW Workshop, pages 253-267, June 2002.
6. G. Barthe, A. Basu, and T. Rezk. Security types preserving compilation. In Proc. 5th International Conf. on VMCAI, volume 2937 of LNCS, pages 2-15, Venice, Italy, Jan. 2004.
7. E. Bonelli, A. Compagnoni, and R. Medel. SIFTAL: A typed assembly language for secure information flow analysis. Technical report, Stevens Inst, of Tech., Hoboken, NJ, July 2004.
8. N. Heintze and J. G. Riecke. The SLam calculus: Programming with security and integrity. In Proc. 25th ACM Symp. on Prin. of Prog. Lang., pages 365-377, San Diego, CA, Jan. 1998.
9. R. Medel, A. Compagnoni, and E. Bonelli. Non-interference for a typed assembly language. In Proc. 2005 Workshop on Foundations of Computer Security, Chicago, IL, June 2005.
10. G. Morrisett, K. Crary, N. Glew, and D. Walker. Stack-based typed assembly language. Journal of Functional Programming, 12(1):43-88, Jan. 2002.
11. G. Morrisett, D. Walker, K. Crary, and N. Glew. From system F to typed assembly language. ACM Transactions on Programming Languages and Systems, 21(3):527-568, Nov. 1999.
12. A. C. Myers. JFlow: Practical mostly-static information flow control. In Proc. 26th ACM Symp. on Prin. of Prog. Lang., pages 228-241, San Antonio, TX, 1999.
13. F. Pettier and V. Simonet. Information flow inference for ML. ACM Transactions on Programming Languages and Systems, 25(1):117-158, Jan. 2003.
14. A. Sabelfeld and A. C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1):5-19, Jan. 2003.
15. J. H. Saltzer and M. D. Schroeder. The protection of information in computer systems. Proc. of the IEEE, 63(9), Sept. 1975.
16. F. B. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. In Informatics: 10 Years Back, 10 Years Ahead, volume 2000 of LNCS, pages 86-101, 2001.
17. F. Smith, D. Walker, and G. Morrisett. Alias types. In Proc. 9th European Symposium on Programming, volume 1782 of LNCS, pages 366-381, Berlin, Germany, Apr. 2000.
18. G. Smith and D. Volpano. Secure information flow in a multi-threaded imperative language. In Proc. 25th ACM Symp. on Prin. of Prog. Lang., pages 355-364, San Diego, CA, Jan. 1998.
19. D. Volpano and G. Smith. Eliminating covert flows with minimum typings. In 10th IEEE Computer Security Foundations Workshop, pages 156-169, Washington, DC, June 1997.
20. D. Volpano and G. Smith. A type-based approach to program security. In Proc. 7th Inter. Joint Conf. CAAP/FASE TAPSOFT, LNCS, pages 607-621, Lille, France, Apr. 1997.
21. D. Volpano and G. Smith. Probabilistic noninterference in a concurrent language. In Proc. 11th IEEE CSFW Workshop, pages 34-43, Washington, DC, June 1998.
22. H. Xi and R. Harper. A dependently typed assembly language. In Proc. 6th ACM International Conference on Functional Programming, pages 169-180, Florence, Italy, Sept. 2001.
23. D. Yu and N. Islam. A typed assembly language for confidentiality. Technical Report DCL-TR-2005-0002, DoCoMo Communications Laboratories USA, San Jose, CA, Mar. 2005. http://www.docomolabsresearchers-usa.com/~dyu/talc-tr.pdf.
24. S. Zdancewic and A. C. Myers. Secure information flow via linear continuations. Higher-Order and Symbolic Computation, 15(2-3):209-234, Sept. 2002.