@InCollection｛zbMATH05317355，作者={Lorini，Emiliano and Demolombe，Robert}，标题={计算机安全上下文中的信任和规范：{A}逻辑形式化}，BookTitle={计算机科学中的道义逻辑。第九届国际会议，DEON 2008，卢森堡，2008年7月15日至18日。诉讼}，国际标准图书编号={978-3-540-70524-6}，页码={50--64}，年份={2008}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-540-70525-3_6}，关键词={03B70}，zbMATH={5317355}，Zbl={1143.03346}}