Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by H. Janicke
Dynamic Access Control Policies: Specification and Verification
Computer Journal
Computer Science
Visual Exploration of Climate Variability Changes Using Wavelet Analysis
IEEE Transactions on Visualization and Computer Graphics
Computer Graphics
Pattern Recognition
Computer Vision
Computer-Aided Design
Signal Processing
Software
Related publications
Conformance Checking of Dynamic Access Control Policies
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Formal Verification of Role-Based Access Control Policies
IEEE Transactions on Dependable and Secure Computing
Electronic Engineering
Electrical
Computer Science
Formal Specification and Verification of Dynamic Parametrized Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Access Control: Policies, Models, and Mechanisms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Combining Static and Dynamic Analysis for Automatic Identification of Precise Access-Control Policies
Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007)
Resiliency Policies in Access Control
ACM Transactions on Information and System Security
Quality
Reliability
Safety
Computer Science
Risk
Formal Specification and Verification
Mining Relationship-Based Access Control Policies
Analyzing and Managing Role-Based Access Control Policies
IEEE Transactions on Knowledge and Data Engineering
Computational Theory
Computer Science Applications
Information Systems
Mathematics
