A Policy Model for Secure Information Flow
Adedayo Adetoye and Atta Badii
Details
| 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 |
Links
Related pages
|
People |