Practically implementable and tractable delegation logic

Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy

Volumn , Issue , 2000, Pages 27-42

  Li, Ninghui ^a   Grosof, Benjamin ^a   Feigenbaum, Joan ^a  

^a NEW YORK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; INFORMATION MANAGEMENT; INTERNET; KNOWLEDGE REPRESENTATION; SECURITY OF DATA;

DELEGATION LOGIC; ORDINARY LOGIC PROGRAM; SEMANTICS; SYNTACTIC RESTRICTION;

LOGIC PROGRAMMING;

EID: 0033718059     PISSN: 10637109     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (30)