The foundations of program verification (2nd ed.)

Authors:
Jacques Leockx;Kurt Sieber;Ryan D. Stansifer
Affiliations:
Univ. des Saarlandes, Saarbru¨cken, W. Germany;Univ. des Saarlandes, Saarbru¨cken, W. Germany;Cornell Univ., Ithaca, NY
Venue:
The foundations of program verification (2nd ed.)
Year:
1987

Citing 0
Cited 2

Policy algebras for access control the predicate case

Proceedings of the 9th ACM conference on Computer and communications security
Inter-program Properties

SAS '09 Proceedings of the 16th International Symposium on Static Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract