Static Verification of Code Access Security Policy Compliance of .NET Applications.
Jan SmansBart JacobsFrank PiessensPublished in: J. Object Technol. (2006)
Keyphrases
- security policies
- access control
- access control systems
- fully functional
- security management
- access control mechanism
- unauthorized access
- network security
- network management
- fine grained
- security requirements
- security architecture
- access control policies
- ubiquitous computing environments
- network access
- data protection
- visual studio
- security concerns
- role based access control
- model checking
- source code
- distributed systems
- home network
- security measures
- event logs
- access rights