权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Verifying anonymity and privacy properties of security protocols

验证安全协议的匿名性和隐私属性

基本信息

批准号：
EP/E040829/1
负责人：
Mark Ryan
金额：
$ 17.17万
依托单位：
University of Birmingham
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2007
资助国家：
英国
起止时间：
2007 至无数据
项目状态：
已结题

来源：
https://gtr.ukri.org/projects?ref=EP%2FE040829%2F1
关键词：
Verifying anonymity privacy properties security

项目摘要

The project investigates systems designed to offer privacy guarantees to on-line users, such as anonymity of payment, privacy of shopping preference, of email patterns and associations between correspondents, or candidate choice in an election. It aims to develop a taxonomy of anonymity and privacy properties within two verification formalisms (strand spaces and applied pi calculus) and to develop techniques for analysing protocols that are designed to provide such properties. We shall also analyse some well-known protocols, such as private authentication protocols and direct anonymous attestation protocol. This proposal builds on the acknowledged expertise of the University of Birmingham in the area of formal methods and verification.

该项目调查旨在为在线用户提供隐私保障的系统，例如支付匿名，购物偏好隐私，电子邮件模式和通信者之间的关联，或选举中的候选人选择。它的目的是在两个验证形式主义（串空间和应用π演算）的匿名性和隐私属性的分类，并开发技术分析协议，旨在提供这样的属性。我们还将分析一些著名的协议，如私有认证协议和直接匿名证明协议。这项建议建立在伯明翰大学在正式方法和核查领域公认的专门知识的基础上。

项目成果

期刊论文数量（10）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers

可信赖的全球计算 - 第九届国际研讨会，TGC 2014，意大利罗马，2014 年 9 月 5-6 日。修订后的精选论文

DOI：
10.1007/978-3-662-45917-1_6
发表时间：
2014
期刊：
影响因子：
0
作者：
Cheval V
通讯作者：
Cheval V

Anonymity Protocol with Identity Escrow, and Analysis in the Applied Pi-Calculus

具有身份托管的匿名协议以及应用 Pi 演算中的分析

DOI：
发表时间：
2007
期刊：
影响因子：
0
作者：
Aybek Mukhamedov
通讯作者：
Aybek Mukhamedov

Symbolic bisimulation for the applied pi calculus

DOI：
10.3233/jcs-2010-0363
发表时间：
2007-12
期刊：
影响因子：
0
作者：
S. Delaune;S. Kremer;M. Ryan
通讯作者：
S. Delaune;S. Kremer;M. Ryan

Direct Anonymous Attestation: Ensuring Privacy with Corrupt Administrators

直接匿名证明：确保腐败管理员的隐私

DOI：
发表时间：
2007
期刊：
影响因子：
0
作者：
Ben Smyth
通讯作者：
Ben Smyth

Composition of password-based protocols

基于密码的协议的组成

DOI：
10.1007/s10703-013-0184-6
发表时间：
2013
期刊：
Formal Methods in System Design
影响因子：
0.8
作者：
Chevalier C
通讯作者：
Chevalier C

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Mark Ryan其他文献

The impact of splenic artery embolization on the management of splenic trauma: an 8-year review

DOI：
10.1016/j.amjsurg.2008.11.017
发表时间：
2009-03-01
期刊：
Research article
影响因子：
作者：
Akpofure Peter Ekeh;Brent Izu;Mark Ryan;Mary C. McCarthy
通讯作者：
Mary C. McCarthy

901-95 Stress-induced Subendocardial Underperfusion: A Potential Mechanism of Ischemia in Hypertrophic Cardiomyopathy (HCM)

DOI：
10.1016/0735-1097(95)91572-f
发表时间：
1995-02-01
期刊：
Conference abstract
影响因子：
作者：
Lubna Choudhury;Roberto Gistri;Mark Ryan;Franco Cecchi;William J. McKenna;Paolo G. Camici
通讯作者：
Paolo G. Camici

The Effect of Fat Level of the Diet on General Nutrition XI. The Protective Effect of Varying Levels of Ethyl Linoleate Against Multiple Sublethal Doses of X-Irradiation in the Rat

DOI：
10.1093/jn/52.4.637
发表时间：
1954-04-01
期刊：
Research article
影响因子：
作者：
Amber L.S. Cheng;Mark Ryan;Roslyn Alfin-Slater;Harry J. Deuel
通讯作者：
Harry J. Deuel

Comparison of consistency between image guided and craniometric transcranial magnetic stimulation coil placement

图像引导与颅骨测量经颅磁刺激线圈放置的一致性比较

DOI：
发表时间：
2022
期刊：
Brain Stimulation
影响因子：
7.7
作者：
I. Young;K. Osipowicz;Alana E. Mackenzie;Oliver J. Clarke;Hugh Taylor;P. Nicholas;Mark Ryan;Jonas Holle;Onur Tanglay;S. Doyen;M. Sughrue
通讯作者：
M. Sughrue