首页>
外国专利>
SECURITY LANGUAGE TRANSLATIONS WITH LOGIC RESOLUTION
SECURITY LANGUAGE TRANSLATIONS WITH LOGIC RESOLUTION
展开▼
机译:具有逻辑解决方案的安全语言翻译
展开▼
页面导航
摘要
著录项
相似文献
摘要
Security language constructs may be translated into logic language constructs and vice versa. Logic resolution may be effected using, for example, the logic language constructs. In an example implementation, translation of a security language assertion into at least one logic language rule is described. In another example implementation, translation of a proof graph reflecting a logic language into a proof graph reflecting a security language is described. In yet another example implementation, evaluation of a logic language program using a deterministic algorithm is described.
展开▼