Project Details
Short title | Verification of statebased access control - M Koleini |
---|---|
Status | Finished |
Effective start/end date | 1/10/08 → 30/09/11 |
Funding
- MICROSOFT RESEARCH LTD
Short title | Verification of statebased access control - M Koleini |
---|---|
Status | Finished |
Effective start/end date | 1/10/08 → 30/09/11 |