Intensional specifications of security protocols

被引：36
|
作者：
Roscoe, AW [1 ]
机构：
[1] UNIV OXFORD,COMP LAB,OXFORD OX1 3QD,ENGLAND
来源：
9TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/CSFW.1996.503688
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：28 / 38
页数：11
相关论文
共 50 条
  • [41] Survey on the Web Services Security Specifications
    Zhang, Xiaofen
    Hou, Yi
    Ma, Jialin
    [J]. ENGINEERING SOLUTIONS FOR MANUFACTURING PROCESSES, PTS 1-3, 2013, 655-657 : 1809 - +
  • [42] MoSS: Modular Security Specifications Framework
    Herzberg, Amir
    Leibowitz, Hemi
    Syta, Ewa
    Wrotniak, Sara
    [J]. ADVANCES IN CRYPTOLOGY - CRYPTO 2021, PT III, 2021, 12827 : 33 - 63
  • [43] Understanding and communicating it security specifications with UML
    Leiwo, J
    Virtanen, TP
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2005, 15 (06) : 923 - 940
  • [44] IoT Security: A review of vulnerabilities and security protocols
    Varma, Ravi Kiran P.
    Priyanka, M.
    Krishna, Vamsi B. S.
    Raju, Subba K., V
    [J]. JOURNAL OF MECHANICS OF CONTINUA AND MATHEMATICAL SCIENCES, 2019, 14 (02): : 509 - 520
  • [45] Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach
    Baldoni, Matteo
    Baroglio, Cristina
    Marengo, Elisa
    Patti, Viviana
    [J]. ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 2013, 4 (02)
  • [46] DESIGNING SECURE COMMUNICATION PROTOCOLS FROM TRUST SPECIFICATIONS
    PAPADIMITRIOU, CH
    RANGAN, V
    SIDERI, M
    [J]. ALGORITHMICA, 1994, 11 (05) : 485 - 499
  • [47] Development of communication protocols using algebraic and temporal specifications
    Jmaiel, M
    Pepper, P
    [J]. COMPUTER NETWORKS, 2003, 42 (06) : 737 - 764
  • [48] DESIGNING SECURE COMMUNICATION PROTOCOLS FROM TRUST SPECIFICATIONS
    PAPADIMITRIOU, CH
    RANGAN, V
    SIDERI, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 560 : 360 - 368
  • [49] Generation of Service Wrapper Protocols from Choreography Specifications
    Salaun, Gwen
    [J]. SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 313 - 322
  • [50] RF Transceiver System Design: From Protocols to Specifications
    Hu, Ang
    Liu, Dongsheng
    Jin, Zirui
    Zhang, Cong
    Zhang, Kefeng
    Liu, Lanqi
    [J]. 2019 IEEE 13TH INTERNATIONAL CONFERENCE ON ASIC (ASICON), 2019,
12345