Type-Based Security for Mobile Computing: Integrity, Secrecy and Liveness
移动计算基于类型的安全性:完整性、保密性和活跃性
基本信息
- 批准号:GR/T03215/01
- 负责人:
- 金额:$ 20.62万
- 依托单位:
- 依托单位国家:英国
- 项目类别:Research Grant
- 财政年份:2006
- 资助国家:英国
- 起止时间:2006 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Nowadays the use of mobile code is widespread through computing scenes, e.g. in www and telephony applications. One of benefits of mobile code is to allow extensibility, where a piece of code migrates from a source node to a target node and gets linked to the run-time environment of the target to serve its purpose. Such an open characteristic of mobile computing introduces the main security issues: access control, privacy of data (secrecy), and availability. However, current systems and programming languages lack a theoretical base to identify and detect potentially malicious mobile software. This research proposal develops fundamental technologies to solve three security issues concerning mobile programs using well-defined mathematical models, typed calculi of mobile processes, and applies them to a mobile language design.First we develop a uniform framework for the various programming languages which can ensure liveness and secrecy based on a concurrent process calculus, called the pi-calculus. Then we extend its theory to mobility using the higher-order pi-calculus, as well as incorporating the access control. Finally we demonstrate the relevance of these foundational theories by applying them to the real software development by designing a mobile programming language and its type system which can ensure integrity, secrecy and liveness. The correctness of the type system is proved via translation into mobile processes.
如今,移动的代码的使用在计算场景中(例如,在www和电话应用中)是广泛的。移动的代码的好处之一是允许可扩展性,其中一段代码从源节点迁移到目标节点,并链接到目标的运行时环境以服务于其目的。移动的计算的这种开放特性引入了主要的安全问题:访问控制、数据隐私(保密)和可用性。然而,当前的系统和编程语言缺乏识别和检测潜在恶意移动的软件的理论基础。本研究计划开发的基本技术,以解决三个安全问题有关移动的程序使用定义良好的数学模型,类型演算的移动的processes,并将其应用到一个移动的language design.First,我们开发了一个统一的框架,可以确保活动性和保密性的各种编程语言的基础上的并发进程演算,称为π演算。然后,我们扩展其理论的移动性使用高阶π演算,以及将访问控制。最后,我们通过设计一个移动的编程语言及其类型系统,将这些基础理论应用到真实的软件开发中,以证明这些理论的相关性,该语言及其类型系统可以确保完整性、保密性和活性。类型系统的正确性是通过转换成移动的进程来证明的。
项目成果
期刊论文数量(10)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Automata, Languages and Programming
自动机、语言和编程
- DOI:10.1007/978-3-540-70583-3_9
- 发表时间:2008
- 期刊:
- 影响因子:0
- 作者:Berger M
- 通讯作者:Berger M
CONCUR 2007 - Concurrency Theory
CONCUR 2007 - 并发理论
- DOI:10.1007/978-3-540-74407-8_22
- 发表时间:2007
- 期刊:
- 影响因子:0
- 作者:Crafa S
- 通讯作者:Crafa S
Theoretical Aspects of Communication-Centred Programming
- DOI:10.1016/j.entcs.2008.04.007
- 发表时间:2008-04
- 期刊:
- 影响因子:0
- 作者:Marco Carbone;Kohei Honda;N. Yoshida
- 通讯作者:Marco Carbone;Kohei Honda;N. Yoshida
A Calculus of Global Interaction based on Session Types
- DOI:10.1016/j.entcs.2006.12.041
- 发表时间:2007-06-14
- 期刊:
- 影响因子:0
- 作者:Carbone, Marco;Honda, Kohei;Yoshida, Nobuko
- 通讯作者:Yoshida, Nobuko
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Nobuko Yoshida其他文献
Systematic peptide fragmentation of polyvinylidene difluoride(PVDF)-immobilized proteins prior to microsequencing.
在微测序之前对聚偏二氟乙烯 (PVDF) 固定的蛋白质进行系统肽片段化。
- DOI:
- 发表时间:
1996 - 期刊:
- 影响因子:0
- 作者:
Akihiro Iwamatsu;Nobuko Yoshida - 通讯作者:
Nobuko Yoshida
Multiparty Session Programming with Global Protocol Combinators (oral communication)
使用全局协议组合器的多方会话编程(口头交流)
- DOI:
- 发表时间:
2021 - 期刊:
- 影响因子:0
- 作者:
Keigo Imai;Rumyana Neykova;Nobuko Yoshida;Shoji Yuen - 通讯作者:
Shoji Yuen
Session Typed Programming with Poles and Lenses
使用极点和镜头进行会话类型编程
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Keigo Imai;Shoji Yuen;Nobuko Yoshida - 通讯作者:
Nobuko Yoshida
Removal of sialic acid from mucin-like surface molecules of <em>Trypanosoma cruzi</em> metacyclic trypomastigotes enhances parasite-host cell interaction
- DOI:
10.1016/s0166-6851(96)02783-1 - 发表时间:
1997-01-01 - 期刊:
- 影响因子:
- 作者:
Nobuko Yoshida;Miriam L Dorta;Alice T Ferreira;Maria E.M Oshiro;Renato A Mortara;Alvaro Acosta-Serrano;Silvio Favoreto - 通讯作者:
Silvio Favoreto
Event structures for the reversible early internal <em>π</em>-calculus
- DOI:
10.1016/j.jlamp.2021.100720 - 发表时间:
2022-01-01 - 期刊:
- 影响因子:
- 作者:
Eva Graversen;Iain Phillips;Nobuko Yoshida - 通讯作者:
Nobuko Yoshida
Nobuko Yoshida的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Nobuko Yoshida', 18)}}的其他基金
Turtles: Protocol-Based Foundations for Distributed Multiagent Systems
海龟:分布式多代理系统的基于协议的基础
- 批准号:
EP/N027833/2 - 财政年份:2022
- 资助金额:
$ 20.62万 - 项目类别:
Research Grant
Session Types for Reliable Distributed Systems (STARDUST)
可靠分布式系统的会话类型 (STARDUST)
- 批准号:
EP/T014709/2 - 财政年份:2022
- 资助金额:
$ 20.62万 - 项目类别:
Research Grant
POST: Protocols, Observabilities and Session Types
POST:协议、可观察性和会话类型
- 批准号:
EP/T006544/2 - 财政年份:2022
- 资助金额:
$ 20.62万 - 项目类别:
Fellowship
Session Types for Reliable Distributed Systems (STARDUST)
可靠分布式系统的会话类型 (STARDUST)
- 批准号:
EP/T014709/1 - 财政年份:2020
- 资助金额:
$ 20.62万 - 项目类别:
Research Grant
POST: Protocols, Observabilities and Session Types
POST:协议、可观察性和会话类型
- 批准号:
EP/T006544/1 - 财政年份:2020
- 资助金额:
$ 20.62万 - 项目类别:
Fellowship
Turtles: Protocol-Based Foundations for Distributed Multiagent Systems
海龟:分布式多代理系统的基于协议的基础
- 批准号:
EP/N027833/1 - 财政年份:2016
- 资助金额:
$ 20.62万 - 项目类别:
Research Grant
Conversation-Based Governance for Distributed Systems by Multiparty Session Types
通过多方会话类型对分布式系统进行基于会话的治理
- 批准号:
EP/K011715/1 - 财政年份:2013
- 资助金额:
$ 20.62万 - 项目类别:
Research Grant
Multiparty Session Types: Theory and Conversation-Oriented Programming
多方会话类型:理论和面向对话的编程
- 批准号:
EP/G015635/1 - 财政年份:2009
- 资助金额:
$ 20.62万 - 项目类别:
Research Grant
Engineering Foundations of Web Services: Theories and Tool Support
Web 服务的工程基础:理论和工具支持
- 批准号:
EP/F003757/1 - 财政年份:2008
- 资助金额:
$ 20.62万 - 项目类别:
Research Grant
相似国自然基金
Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国青年学者研究基金项目
Incentive and governance schenism study of corporate green washing behavior in China: Based on an integiated view of econfiguration of environmental authority and decoupling logic
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国学者研究基金项目
Exploring the Intrinsic Mechanisms of CEO Turnover and Market Reaction: An Explanation Based on Information Asymmetry
- 批准号:W2433169
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国学者研究基金项目
A study on prototype flexible multifunctional graphene foam-based sensing grid (柔性多功能石墨烯泡沫传感网格原型研究)
- 批准号:
- 批准年份:2020
- 资助金额:20 万元
- 项目类别:
基于tag-based单细胞转录组测序解析造血干细胞发育的可变剪接
- 批准号:81900115
- 批准年份:2019
- 资助金额:21.0 万元
- 项目类别:青年科学基金项目
应用Agent-Based-Model研究围术期单剂量地塞米松对手术切口愈合的影响及机制
- 批准号:81771933
- 批准年份:2017
- 资助金额:50.0 万元
- 项目类别:面上项目
Reality-based Interaction用户界面模型和评估方法研究
- 批准号:61170182
- 批准年份:2011
- 资助金额:57.0 万元
- 项目类别:面上项目
Multistage,haplotype and functional tests-based FCAR 基因和IgA肾病相关关系研究
- 批准号:30771013
- 批准年份:2007
- 资助金额:30.0 万元
- 项目类别:面上项目
差异蛋白质组技术结合Array-based CGH 寻找骨肉瘤分子标志物
- 批准号:30470665
- 批准年份:2004
- 资助金额:8.0 万元
- 项目类别:面上项目
GaN-based稀磁半导体材料与自旋电子共振隧穿器件的研究
- 批准号:60376005
- 批准年份:2003
- 资助金额:20.0 万元
- 项目类别:面上项目
相似海外基金
Security Evaluation Method Against Deep-Learning-Based Side-Channel Attacks Exploiting Physical Behavior of Cryptographic Hardware
针对利用密码硬件物理行为的基于深度学习的侧信道攻击的安全评估方法
- 批准号:
23K11102 - 财政年份:2023
- 资助金额:
$ 20.62万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Blockchain-based trusted platform for servers and devices security
基于区块链的服务器和设备安全可信平台
- 批准号:
10078077 - 财政年份:2023
- 资助金额:
$ 20.62万 - 项目类别:
Collaborative R&D
Nature-based solutions for mountain water security
基于自然的山水安全解决方案
- 批准号:
2890115 - 财政年份:2023
- 资助金额:
$ 20.62万 - 项目类别:
Studentship
Attack-resistant security infrastructure with security policy based on CPS model
基于CPS模型的安全策略的抗攻击安全基础设施
- 批准号:
23K16872 - 财政年份:2023
- 资助金额:
$ 20.62万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
Improvement of Security Proofs for Signature Schemes Based on Non-Interactive Assumptions
基于非交互假设的签名方案安全证明改进
- 批准号:
23K16841 - 财政年份:2023
- 资助金额:
$ 20.62万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
Pivots: VETS-HASTE: Veterans SkillBridge through Industry based Hardware Security Training and Education
支点:VETS-HASTE:通过基于行业的硬件安全培训和教育为退伍军人提供技能桥梁
- 批准号:
2322465 - 财政年份:2023
- 资助金额:
$ 20.62万 - 项目类别:
Cooperative Agreement
Collaborative Research: SaTC: EDU: Fire and ICE: Raising Security Awareness through Experiential Learning Activities for Building Trustworthy Deep Learning-based Applications
协作研究:SaTC:EDU:火灾和 ICE:通过体验式学习活动提高安全意识,构建值得信赖的基于深度学习的应用程序
- 批准号:
2244221 - 财政年份:2023
- 资助金额:
$ 20.62万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: EDU: Fire and ICE: Raising Security Awareness through Experiential Learning Activities for Building Trustworthy Deep Learning-based Applications
协作研究:SaTC:EDU:火灾和 ICE:通过体验式学习活动提高安全意识,构建值得信赖的基于深度学习的应用程序
- 批准号:
2244219 - 财政年份:2023
- 资助金额:
$ 20.62万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: CORE: Small: Hyperproperty-based Enforcement of Information-flow Security
协作研究:SaTC:核心:小型:基于超产权的信息流安全执行
- 批准号:
2245115 - 财政年份:2023
- 资助金额:
$ 20.62万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: EDU: Fire and ICE: Raising Security Awareness through Experiential Learning Activities for Building Trustworthy Deep Learning-based Applications
协作研究:SaTC:EDU:火灾和 ICE:通过体验式学习活动提高安全意识,构建值得信赖的基于深度学习的应用程序
- 批准号:
2244220 - 财政年份:2023
- 资助金额:
$ 20.62万 - 项目类别:
Standard Grant