Publication | Closed Access
A formal apparatus for modeling trust in computing environments
40
Citations
9
References
2008
Year
Formal ApparatusTrusted SystemEngineeringInformation SecurityTrust Management ArchitectureVerificationFormal MethodsSoftware AnalysisTrustComputational TrustComputer ScienceFormal VerificationSystem Software
| Year | Citations | |
|---|---|---|
Page 1
Page 1