A framework for defining logics
Journal of the ACM (JACM)
A calculus for access control in distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Authentication in the Taos operating system
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
CCS '99 Proceedings of the 6th ACM conference on Computer and communications security
On SDSI's linked local name spaces
Journal of Computer Security
Single Sign-On Using Cookies for Web Applications
WETICE '99 Proceedings of the 8th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises
Compliance Checking in the PolicyMaker Trust Management System
FC '98 Proceedings of the Second International Conference on Financial Cryptography
CVC: A Cooperating Validity Checker
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Faster Proof Checking in the Edinburgh Logical Framework
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
A Logic for SDSI's Linked Local Name Spaces: Preliminary Version
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
A Security Infrastructure for Distributed Java Applications
SP '00 Proceedings of the 2000 IEEE Symposium on Security and Privacy
Compiling with proofs
Kerberized credential translation: a solution to web access control
SSYM'01 Proceedings of the 10th conference on USENIX Security Symposium - Volume 10
Dos and don'ts of client authentication on the web
SSYM'01 Proceedings of the 10th conference on USENIX Security Symposium - Volume 10
Journal of Automated Reasoning
Access control to people location information
ACM Transactions on Information and System Security (TISSEC)
TrustBAC: integrating trust relationships into the RBAC model for access control in open systems
Proceedings of the eleventh ACM symposium on Access control models and technologies
Specifying distributed trust management in LolliMon
Proceedings of the 2006 workshop on Programming languages and analysis for security
On implementing mpeg-21 intellectual property management and protection
Proceedings of the 2007 ACM workshop on Digital Rights Management
Alpaca: extensible authorization for distributed services
Proceedings of the 14th ACM conference on Computer and communications security
Authorization in trust management: Features and foundations
ACM Computing Surveys (CSUR)
ESORICS '08 Proceedings of the 13th European Symposium on Research in Computer Security: Computer Security
Web Semantics: Science, Services and Agents on the World Wide Web
Policy-based access control for weakly consistent replication
Proceedings of the 5th European conference on Computer systems
An introduction to the role based trust management framework RT
Foundations of security analysis and design IV
Multi-domain trust management in variable-threat environments: a user-centric model
MILCOM'09 Proceedings of the 28th IEEE conference on Military communications
User-managed access to web resources
Proceedings of the 6th ACM workshop on Digital identity management
On partial encryption of RDF-Graphs
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Device-enabled authorization in the grey system
ISC'05 Proceedings of the 8th international conference on Information Security
Instant matchmaking: simple and secure integrated ubiquitous computing environments
UbiComp'06 Proceedings of the 8th international conference on Ubiquitous Computing
A semantic web framework for interleaving policy reasoning and external service discovery
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Logical approaches to authorization policies
Logic Programs, Norms and Action
Efficient proving for practical distributed access-control systems
ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security
Toward strong, usable access control for shared distributed data
FAST'14 Proceedings of the 12th USENIX conference on File and Storage Technologies
| Hi-index | 0.00 |