粘合剂 swMATH ID: 26750 软件作者: J.德特雷维尔。 描述: Binder,一种基于逻辑的安全语言。我们引入了安全语言的概念,用于在分布式系统中表达安全语句。大多数现有的安全语言将安全语句编码为示意数据结构,如ACL和X.509证书。相反,Binder是一种基于开放逻辑的安全语言,它将安全语句编码为通信分布式逻辑程序的组件。绑定程序比标准安全语言中的语句更具表现力,标准安全构造和操作(如提升证书和委托)的含义通过在绑定程序中的公式得到简化和澄清。翻译成活页夹已用于探索其他新的和现有安全语言的设计。 主页: http://web.cs.wpi.du/~cs564/f12/papers/binder.pdf 相关软件: 丹麦航空公司;SWI-预测;红宝石;PORGY公司;哈斯克尔;网络PIE;RDFox公司;流浪汉;LUBM公司;旋转(swrl);戴纳;利克斯托;数据日志;DLV2型;Potassco公司;J流量;SAFKASI公司;HYPROLOG公司;斯莫德尔斯;自旋蛋白 引用于: 14文件 全部的 前5名28位作者引用 三 马丁·阿巴迪 2 桑德拉·阿尔维斯 2 玛丽贝尔·费尔南德斯 1 米歇尔·巴吉 1 黛米斯·巴利斯 1 包,易宝 1 斯蒂法诺·比斯塔雷利 1 马修·科林森 1 莫雷诺,法拉斯基 1 方彬兴 1 基诺维斯,瓦莱里奥 1 劳拉·佐丹奴 1 瓦伦蒂娜·格里奥齐 1 伊恩·霍洛克斯 1 胡、潘 1 刘艳红安妮 1 法比奥·马蒂内利 1 鲍里斯·莫提克 1 Aarthi Nagarajan 1 吉安·卢卡(Gian Luca),披萨 1 大卫·J·派姆。 1 西尔维奥·兰伊斯 1 弗朗西斯科·桑蒂尼 1 内森·塔尔 1 Tekle,K.Tuncay 1 维杰瓦拉达拉扬 1 内森·怀特黑德 1 尹丽华 全部的 前5名7篇连载文章中引用 1 人工智能 1 计算机与数学及其应用 1 计算机与系统科学杂志 1 理论计算机科学 1 符号计算杂志 1 计算的形式方面 1 科学中国。信息科学 在3个字段中引用 13 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 2 信息与通信理论、电路(94-XX) 按年份列出的引文