A Policy Model for Secure Information Flow
Adedayo Adetoye and Atta Badii
Book Title
Foundations and Applications of Security Analysis‚ Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security‚ ARSPA−WITS 2009‚ York‚ UK‚ March 28−29‚ 2009‚ Revised Selected Papers
Editor
Pierpaolo Degano and Luca Viganò
ISBN
978−3−642−03458−9
Pages
1−17
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
5511
Year
2009