Protocol analysis, composability and computation

被引：3
|
作者：
Anderson, R [1 ]
Bond, M [1 ]
机构：
[1] Univ Cambridge, Cambridge, England
来源：
COMPUTER SYSTEMS: THEORY, TECHNOLOGY AND APPLICATIONS: A TRIBUTE TO ROGER NEEDHAM | 2004年
关键词：
D O I：
10.1007/0-387-21821-1_3
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：15 / 19
页数：5
相关论文
共 50 条
  • [1] Symbolic computation software composability
    Freundt, Sebastian
    Horn, Peter
    Konovalov, Alexander
    Linton, Steve
    Roozemond, Dan
    [J]. INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS, 2008, 5144 : 285 - +
  • [2] General Composition and Universal Composability in Secure Multiparty Computation
    Yehuda Lindell
    [J]. Journal of Cryptology, 2009, 22 : 395 - 428
  • [3] A rigorous security analysis of a decentralized electronic voting protocol in the universal composability framework
    Khazaei, Shahram
    Rezaei-Aliabadi, Mehri
    [J]. JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, 2018, 43 : 99 - 109
  • [4] General Composition and Universal Composability in Secure Multiparty Computation
    Lindell, Yehuda
    [J]. JOURNAL OF CRYPTOLOGY, 2009, 22 (03) : 395 - 428
  • [5] Identity-Based Proxy Signcryption Protocol with Universal Composability
    Yu, Huifang
    Wang, Zhicang
    Li, Jianmin
    Gao, Xinzhe
    [J]. SECURITY AND COMMUNICATION NETWORKS, 2018,
  • [6] General composition and universal composability in secure multi-party computation
    Lindell, Y
    [J]. 44TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2003, : 394 - 403
  • [7] An analysis of the cost of validating semantic composability
    Szabo, C.
    Teo, Y. M.
    [J]. JOURNAL OF SIMULATION, 2012, 6 (03) : 152 - 163
  • [8] An Analysis of the Cost of Validating Semantic Composability
    Szabo, Claudia
    Teo, Yong Meng
    [J]. 2011 IEEE WORKSHOP ON PRINCIPLES OF ADVANCED AND DISTRIBUTED SIMULATION (PADS), 2011,
  • [9] Protocol analysis of designers using an interactive evolutionary computation
    Weixin Huang
    Daisuke Matsushita
    Junzo Munemoto
    [J]. Frontiers of Architectural Research, 2012, 1 (01) - 50
  • [10] Protocol analysis of designers using an interactive evolutionary computation
    Huang, Weixin
    Matsushita, Daisuke
    Munemoto, Junzo
    [J]. FRONTIERS OF ARCHITECTURAL RESEARCH, 2012, 1 (01) : 44 - 50
12345