@dblp

Analysis and Run-Time Verification of Dynamic Security Policies.

, , , , and . DAMAS, volume 3890 of Lecture Notes in Computer Science, page 92-103. Springer, (2005)

Links and resources

Tags