An Adversary Model for Simulation-Based Anonymity Proof

计算机科学 对手 匿名 计算机安全 对手模型 协议(科学) 对抗制
作者
Yoshishige Kawabe,Hideki Sakurada
出处
期刊:IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences [Institute of Electronics, Information and Communications Engineers]
卷期号:E91-A (4): 1112-1120 被引量:1
标识
DOI:10.1093/ietfec/e91-a.4.1112
摘要

The use of a formal method is a promising approach to developing reliable computer programs. This paper presents a formal method for anonymity, which is an important security property of communication protocols with regard to a user's identity. When verifying the anonymity of security protocols, we need to consider the presence of adversaries. To formalize stronger adversaries, we introduce an adversary model for simulation-based anonymity proof. This paper also demonstrates the formal verification of a communication protocol. We employ Crowds, which is an implementation of an anonymous router, and verify its anonymity. After describing Crowds in a formal specification language, we prove its anonymity with a theorem prover.

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
咪咪不吃糖完成签到 ,获得积分10
2秒前
myp发布了新的文献求助50
2秒前
英俊的铭应助清风采纳,获得30
3秒前
limt发布了新的文献求助10
3秒前
WQY完成签到,获得积分10
3秒前
tourist585应助要减肥金针菇采纳,获得40
4秒前
天才小能喵应助好运来采纳,获得10
5秒前
7秒前
8秒前
burno1112完成签到,获得积分10
9秒前
12秒前
所所应助鲜艳的亦玉采纳,获得10
14秒前
pluto应助linzhuo采纳,获得10
15秒前
才哥发布了新的文献求助30
16秒前
xx发布了新的文献求助10
16秒前
我是老大应助异祺采纳,获得10
17秒前
Kuma完成签到 ,获得积分10
17秒前
17秒前
xwz626发布了新的文献求助10
17秒前
852应助xiaoyang1986采纳,获得10
18秒前
18秒前
linyingo完成签到,获得积分10
18秒前
20秒前
20秒前
21秒前
小马甲应助修狗儿采纳,获得10
22秒前
娜娜发布了新的文献求助10
22秒前
23秒前
Nolan发布了新的文献求助10
24秒前
万能图书馆应助qbr采纳,获得30
24秒前
Lucas应助炒酸奶采纳,获得10
26秒前
26秒前
cardiodynia完成签到,获得积分10
27秒前
27秒前
28秒前
30秒前
Lucas应助周小叽采纳,获得10
31秒前
陈麦子完成签到,获得积分10
32秒前
lanzai发布了新的文献求助10
33秒前
天天快乐应助时光纠缠采纳,获得10
34秒前
高分求助中
Sustainable Land Management: Strategies to Cope with the Marginalisation of Agriculture 1000
Corrosion and Oxygen Control 600
Yaws' Handbook of Antoine coefficients for vapor pressure 500
Python Programming for Linguistics and Digital Humanities: Applications for Text-Focused Fields 500
行動データの計算論モデリング 強化学習モデルを例として 500
Johann Gottlieb Fichte: Die späten wissenschaftlichen Vorlesungen / IV,1: ›Transzendentale Logik I (1812)‹ 400
The role of families in providing long term care to the frail and chronically ill elderly living in the community 380
热门求助领域 (近24小时)
化学 材料科学 医学 生物 有机化学 工程类 生物化学 纳米技术 物理 内科学 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 电极 光电子学 量子力学
热门帖子
关注 科研通微信公众号,转发送积分 2555993
求助须知:如何正确求助?哪些是违规求助? 2179978
关于积分的说明 5621998
捐赠科研通 1901273
什么是DOI,文献DOI怎么找? 949734
版权声明 565592
科研通“疑难数据库(出版商)”最低求助积分说明 504797