The *(term) for an approach to *(security) which relies on the properties of a _(programming language) in which programs are written to ensure that promises are not violated. This reduces the amount of code that needs validation to the implementing system (an interpreter or compiler), to which this principle can be further applied.

<ul class="links">
<li>_("A Language-Based Approach to Security" |http://citeseer.nj.nec.com/schneider00languagebased.html): A recent survey of the field.
</ul>
