129 search results - page 15 / 26 » PCAL: Language Support for Proof-Carrying Authorization Syst... |
WWW
2006
ACM
14 years 8 months ago
2006
ACM
Wikis are popular collaborative hypertext authoring environments, but they neither support structured access nor information reuse. Adding semantic annotations helps to address th...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
GRID
2007
Springer
14 years 1 months ago
2007
Springer
– Grid access control policy languages today are generally one of two extremes: either extremely simplistic, or overly complex and challenging for even security experts to use. I...
NLDB
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents a novel application of a semantic annotation system, named Cerno, to analyze research publications in electronic format. Specifically, we address the problem of...
PADL
2010
Springer
14 years 4 months ago
2010
Springer
This paper describes a framework to support the implementation of web-based systems to manipulate data stored in relational databases. Since the conceptual model of a relational da...