Darryl Dieckman, Perry Alexander, and Philip A Wilsey, "ActiveSpec: A Framework for the Specification and Verification of Active Network Services and Security Policies," in Thirteenth IEEE Annual Symposium on Logic in Computer Science, Indianapolis, Indiana, 1998, IEEE. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
COMAN: A Multiple-Language Active Network Architecture.. - Cook, Pawlikowski.. (2002) (Correct)
....set of trust assumptions and rules, the environment securely bootstraps an embedded active network, providing authentication and naming services for active packets. As an alternative approach, the ACTIVESPEC framework formally verifies the security policies for active networks and their services [10], guaranteeing the integrity of an active network architecture. Through a formally defined set of services, policies, and resources, the interactions within an active network can be modelled with subsequent verification of security requirements. Recent research has also displayed the potential of ....
Darryl Dieckman, Perry Alexander, and Philip A Wilsey, "ActiveSpec: A Framework for the Specification and Verification of Active Network Services and Security Policies," in Thirteenth IEEE Annual Symposium on Logic in Computer Science, Indianapolis, Indiana, 1998, IEEE.
A Scalable Middleware-Based Active Network Architecture .. - Cook, Krishnan.. (Correct)
....of trust assumptions and rules, the environment securely bootstraps an embedded active network, 1 providing authentication and naming services for active packets. As an alternative approach, the ActiveSpec framework formally verifies the security policies for active networks and their services [6], guaranteeing the integrity of an active network architecture. Through a formally defined set of services, policies, and resources, the interactions within an active network can be modelled with subsequent verification of security requirements. Recent research has also displayed the potential of ....
D. Dieckman, P. Alexander, and P. A. Wilsey. ActiveSpec: A Framework for the Specification and Verification of Active Network Services and Security Policies. In Thirteenth IEEE Annual Symposium on Logic in Computer Science. IEEE, Indianapolis, Indiana, 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC