Cited By
View all- Menz JHirsch ALi PGarg D(2023)Compositional Security Definitions for Higher-Order Where DeclassificationProceedings of the ACM on Programming Languages10.1145/35860417:OOPSLA1(406-433)Online publication date: 6-Apr-2023
The RIF RuleML overlap area is of broad interest for Web rule interchange. Its kernel, Dlex, is defined syntactically and semantically as the common sublanguage of Datalog RuleML and RIF-Core restricted to positional arguments and non-conjunctive rule ...
An extensible software system must protect its resources from being abused by untrusted software extensions. The access control policies of such systems are traditionally enforced by reference monitors. Recent study of access control policies advocates ...
In the Semantic Web, rule interchange has gained considerable attention. To be a general rule interchange format, RIF (Rule Interchange Format) should first support rule interchange with three important evolving rule languages SWRL (Semantic Web Rule ...
IOS Press
Netherlands
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in