Language-based security

Improving Software Security with Precise Static and Runtime Analysis, Benjamin Livshits, section 7.3 “Static Techniques for Security,” Stanford doctoral

Embedded Systems Security. By David Kleidermacher, Mike Kleidermacher. Elsevier, 2012. Pg 180. SoaML（英语：SoaML） 能源系統語言（英语：Energy Systems Language） 通用系统语言（英语：Universal

Chris. Principles of Program Analysis. Springer Science+Business Media. 2005.  自动代码审查 基于语言的安全性（英语：Language-based security） 性能分析 形式验证 维基共享资源上的相關多媒體資源：程序分析

安全主張标记语言（英語：Security Assertion Markup Language，简称SAML，发音sam-el）是一个基于XML的开源标准数据格式，它在当事方之间交换身份验证和授权数据，尤其是在身份提供者（英语：Identity provider）和服务提供者之间交换。SAML是OAS

Ada: Conformity assessment of a language processor（ACATS） IEEE Standard 1003.5b-1996，the POSIX Ada binding Ada Language Mapping Specification，the CORBA