Logic for SDSI's linked local name spaces preliminary version

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1999, Pages 111-122

  Halpern, Joseph Y ^a   van der Meyden, Ron ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CRYPTOGRAPHY; LINGUISTICS; LOGIC PROGRAMMING; QUERY LANGUAGES; SET THEORY;

LOGIC OF LOCAL NAME CONTAINMENT; SIMPLE DISTRIBUTED SECURITY INFRASTRUCTURE;

SECURITY OF DATA;

EID: 0032681483     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (14)