Gilliam, D.G., and Powell, J.D., aquot;Integrating a Flexible Modeling Framework with a Security Assessment Instrument to Reduce ...  RiskWatch, aquot;Security Risk Management (SRM) software solutions for government and industry, aquot; http://www. riskwatch.com/. accessed 02-10-04, . ... Computer Security: Art and Science. ... [19 ] Holzmann, G., The SPIN Model Checker : Primer and Reference Manual. Pearsonanbsp;...
|Title||:||Proceedings ... Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises|
|Author||:||IEEE Computer Society. Technical Committee on Data Engineering, Concurrent Engineering Research Center (U.S.)|