Towards an integrated formal analysis for security and trust

被引：0
|
作者：
Martinelli, F [1 ]
机构：
[1] CNR, Ist Informat & Telemat, I-56100 Pisa, Italy
来源：
FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS | 2005年 / 3535卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We aim at defining an integrated framework for the specification and (automated) analysis for security and trust in complex and dynamic scenarios. In particular, we show how the same machinery used for the formal verification of security protocols may be used to analyze access control policies based on trust management.
引用
收藏
页码：115 / 130
页数：16
相关论文
共 50 条
  • [21] Towards formal model-based analysis and testing of Android's security mechanisms
    Betarte, Gustavo
    Campo, Juan
    Cristia, Maximiliano
    Gorostiaga, Felipe
    Luna, Carlos
    Sanz, Camila
    [J]. 2017 XLIII LATIN AMERICAN COMPUTER CONFERENCE (CLEI), 2017,
  • [22] Comparative analysis of trust and security
    Hussain, Farookh Khadeer
    Chang, Elizabeth
    Dillon, Tharam S.
    [J]. 2006 IEEE INTERNATIONAL CONFERENCE ON SERVICE OPERATIONS AND LOGISTICS, AND INFORMATICS (SOLI 2006), PROCEEDINGS, 2006, : 1019 - +
  • [23] A Step towards Formal Reasoning on Abstract Security Properties
    Yin, Lihua
    Guo, Yunchuan
    Zhang, Dongyan
    [J]. 2009 1ST IEEE SYMPOSIUM ON WEB SOCIETY, PROCEEDINGS, 2009, : 26 - +
  • [24] Collaboration in Integrated Project Delivery: The Effects of Trust and Formal Contracts
    Zhang, Lianying
    Huang, Shanshan
    Peng, Ying
    [J]. ENGINEERING MANAGEMENT JOURNAL, 2018, 30 (04) : 262 - 273
  • [25] Mathematics, technology, and trust: Formal verification, computer security, and the US Military
    MacKenzie, D
    Pottinger, G
    [J]. IEEE ANNALS OF THE HISTORY OF COMPUTING, 1997, 19 (03) : 41 - 59
  • [26] A Formal Model of Trust and Security for Task-Oriented Information System
    Wei-Peng, Liu
    Ju, Hu
    [J]. PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON ELECTRONIC COMMERCE AND SECURITY, 2008, : 502 - 506
  • [27] Towards Robust and Effective Trust Management for Security: A Survey
    Wang, Dongxia
    Muller, Tim
    Liu, Yang
    Zhang, Jie
    [J]. 2014 IEEE 13TH INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (TRUSTCOM), 2014, : 511 - 518
  • [28] Formal Methods for Socio-technical Security (Formal and Automated Analysis of Security Ceremonies)
    Vigano, Luca
    [J]. COORDINATION MODELS AND LANGUAGES, 2022, 13271 : 3 - 14
  • [29] Towards an integrated risk analysis security framework according to a systematic analysis of existing proposals
    Santos-Olmo, Antonio
    Sanchez, Luis Enrique
    Rosado, David G.
    Serrano, Manuel A.
    Blanco, Carlos
    Mouratidis, Haralambos
    Fernandez-Medina, Eduardo
    [J]. FRONTIERS OF COMPUTER SCIENCE, 2024, 18 (03)
  • [30] Towards an integrated risk analysis security framework according to a systematic analysis of existing proposals
    Antonio Santos-Olmo
    Luis Enrique Sánchez
    David G. Rosado
    Manuel A. Serrano
    Carlos Blanco
    Haralambos Mouratidis
    Eduardo Fernández-Medina
    [J]. Frontiers of Computer Science, 2024, 18
12345