Thiemann, P. and H. Klaeren: 1997, `Binding-Time Analysis by Security Analysis'. Universitt Tubingen. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A PER Model of Secure Information Flow in Sequential Programs - Sabelfeld, Sands (1998) (29 citations) (Correct)
....and static by the per based model of BTA [19] This means that the binding time analysis for a higher order functional language can also be read as a security information flow analysis. This connection between security and binding time analysis is already folklore (see e.g. a comparison [45] of a particular security type system and a particular binding time analysis, and an investigation [8] which shows how the incorporation of indirect information flows from Denning s security analysis can improve binding time analyses) It is worth highlighting a few of the pertinent ideas from ....
Thiemann, P. and H. Klaeren: 1997, `Binding-Time Analysis by Security Analysis'. Universitt Tubingen.
A PER Model of Secure Information Flow in Sequential Programs - Sabelfeld, Sands (2000) (29 citations) (Correct)
....given to the notions dynamic and static given in [16] This means that the binding time analysis for a higher order functional language can also be read as a security information flow analysis. This connection between security and binding time analysis is already folk law (See e.g. [37] for a comparison of a particular security type system and a particular binding time analysis, and [5] which shows how the incorporation of indirect information flows from Dennings security analysis can improve binding time analyses) It is worth highlighting a few of the pertinent ideas from ....
Thiemann, P., and Klaeren, H. Bindingtime analysis by security analysis. Universitat Tubingen, November 1997. 21
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC