保罗·乔治尼；法比奥·马萨奇；约翰·米洛波洛斯；尼古拉·赞诺 需求工程满足信任管理。 （英语） 兹比尔1126.68651 Jensen，Christian（编辑）等人，《信托管理》。2004年3月29日至4月1日，第二届国际会议，iTrust 2004，英国牛津。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21312-0/pbk）。计算机科学课堂讲稿2995176-190（2004）。 摘要：过去几年，出现了许多将安全工程纳入主流软件需求工程的建议。然而，在组织层面（而不是设计层面）捕获信任和安全需求仍然是一个公开的问题。本文提出了一个用于建模和分析安全和信任需求的形式化框架。它扩展了Tropos方法，这是一种面向代理的软件工程方法。关键的直觉是，在建模安全和信任时，我们需要区分操纵资源、完成目标或执行任务的参与者和拥有资源或目标的参与者。为了分析组织及其信息系统，我们分两步进行。首先，我们建立了一个信任模型，确定了参与者之间的信任关系，然后我们给出了一个功能模型，在该模型中，我们对照信任模型分析实际的委托，检查提供服务的参与者是否被授权拥有服务。正式框架允许通过使用可以在Datalog中机械化的适当委托逻辑来自动验证安全和信任需求。为了使讨论更加具体，我们通过一个医疗案例研究来说明该提案。关于整个系列，请参见[Zbl 1047.68771号]. 引用于2文件 MSC公司： 68单位35 信息系统的计算方法（超文本导航、接口、决策支持等） 关键词：安全与信任需求工程；面向代理的技术；安全工程；业务和组织建模的信任模型 PDF格式BibTeX公司 XML格式引用 \textit{P.Giorgini}等人，Lect。票据计算。科学。2995176--190（2004年；Zbl 1126.68651） 全文： 内政部