Trustworthy Voting Systems
Trustworthy Voting Systems
批准号:
EP/G02684X/1
负责人:
Mark Ryan
金额:
$56.61万
依托单位:
依托单位国家:
英国
项目类别:
Research Grant
财政年份:
2009
资助国家:
英国
项目状态:
已结题
起止时间:
2009 至 --
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(9)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI:
10.1109/csf.2015.18
发表时间:
2015-07
期刊:
2015 IEEE 28th Computer Security Foundations Symposium
影响因子:
--
作者:
[Gurchetan S. Grewal;M. Ryan;Liqun Chen;Michael R. Clarkson]
通讯作者:
Gurchetan S. Grewal;M. Ryan;Liqun Chen;Michael R. Clarkson
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
安全协议分析的自动推理和安全理论中的问题
DOI:
10.1007/978-3-642-16074-5_11
发表时间:
2010
期刊:
影响因子:
--
作者:
[Smyth B]
通讯作者:
Smyth B
FMS @ Petri Nets
FMS@Petri Nets
DOI:
--
发表时间:
2014
期刊:
Remote Electronic Voting with Unstructured Computers
影响因子:
--
作者:
[Mark D Ryan]
通讯作者:
Mark D Ryan
DOI:
10.1109/sp.2013.32
发表时间:
2013-05
期刊:
2013 IEEE Symposium on Security and Privacy
影响因子:
--
作者:
[Gurchetan S. Grewal;Mark Ryan;Sergiu Bursuc;P. Ryan]
通讯作者:
Gurchetan S. Grewal;Mark Ryan;Sergiu Bursuc;P. Ryan
Veriyfing Privacy-Type Properties of Electronic Voting Protocols: A Taster
验证电子投票协议的隐私类型属性:品尝者
DOI:
--
发表时间:
2010
期刊:
影响因子:
--
作者:
[Stephanie Delaune]
通讯作者:
Stephanie Delaune
共 6 条
User-controlled hardware security anchors: evaluation and designs
-
批准号:EP/R012598/1
-
项目类别:Research Grant
-
资助金额:$61.94万
-
财政年份:2018
-
负责人:Mark Ryan
-
依托单位:
Academic Centre of Excellence in Cyber Security Research - University of Birmingham
-
批准号:EP/R007128/1
-
项目类别:Research Grant
-
资助金额:$10.34万
-
财政年份:2017
-
负责人:Mark Ryan
-
依托单位:
Academic Centre of Excellence in Cyber Security Research - University of Birmingham
-
批准号:EP/L001802/1
-
项目类别:Research Grant
-
资助金额:$5.1万
-
财政年份:2013
-
负责人:Mark Ryan
-
依托单位:
Trust Domains - A framework for modelling and designing e-service infrastructures for controlled sharing of information
-
批准号:TS/I002529/1
-
项目类别:Research Grant
-
资助金额:$27.26万
-
财政年份:2011
-
负责人:Mark Ryan
-
依托单位:
Analysing Security and Privacy Properties
-
批准号:EP/H005501/1
-
项目类别:Fellowship
-
资助金额:$126.32万
-
财政年份:2010
-
负责人:Mark Ryan
-
依托单位:
10th International Conference on Information and Communications Security
-
批准号:EP/G005613/1
-
项目类别:Research Grant
-
资助金额:$1.2万
-
财政年份:2008
-
负责人:Mark Ryan
-
依托单位:
Verifying Interoperability Requirements in Pervasive Systems
-
批准号:EP/F033540/1
-
项目类别:Research Grant
-
资助金额:$53.3万
-
财政年份:2008
-
负责人:Mark Ryan
-
依托单位:
Verifying anonymity and privacy properties of security protocols
-
批准号:EP/E040829/1
-
项目类别:Research Grant
-
资助金额:$17.17万
-
财政年份:2007
-
负责人:Mark Ryan
-
依托单位:
Verifying Properties in Electronic Voting Protocols
-
批准号:EP/E029833/1
-
项目类别:Research Grant
-
资助金额:$3.5万
-
财政年份:2006
-
负责人:Mark Ryan
-
依托单位:
海外基金