WebGuard
R
ELATED
W
ORK
Security Enforcement
Fred. B. Schneider.
Enforceable Security Policies
U. Erlingsson, Fred. B. Schneider.
SASI enforcement of security policies: A retrospective
Domain and Type Enforcement (DTE)
Access Control
Role-Based Access Control (RBAC)
Rule Set Based Access Control (RSBAC)
Proof-Carrying Authorization (PCA)
, Logic-based Access Control
R.S. Sandhu.
Lattice-based Access Control Models
XML Access Control Language (XACL)
Temporal Logic
Temporal Logic--Tims is of the essence
Temporal Logic of Action (TLA)
Z. Manna, A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag: Heidelberg, Germany, 1992.
Some
Resources
OpenACS
AOLServer
, and its useful
document
Tcl for Web Nerds
Cookies
Apache
PHP
.NET
Computer Science Department
Cornell University
