Policy DSL: High-level Specifications of Information Flows for Security Policies
Name | Value |
|---|
| Author | Magnus Carlsson, Joe Hurd, Sigbjorn Finne, Brett ... |
| Creation Date | Mon May 18 10:43:01 2009 |
| Creator | LaTeX with beamer class version 3.07 |
| Encrypted | no |
| File size | 2345487 bytes |
| MIME type | application/pdf |
| Modify Date | Mon May 18 10:43:01 2009 |
| Optimized | no |
| Page size | 362.835 x 272.126 pts |
| Pages | 48 |
| PDF version | 1.4 |
| Producer | pdfTeX-1.40.9 |
| Size | 2.24 MB |
| Subject | Talks |
| Tagged | no |
| Title | Policy DSL: High-level Specifications of Information ... |
