课题基金 / 基金详情

App Guarden: Resilient Application Stores

App Guarden: Resilient Application Stores
App Guarden:有弹性的应用程序商店
批准号:
EP/K032666/1
负责人:
David Aspinall
金额:
$74.97万
依托单位:
依托单位国家:
英国
项目类别:
Research Grant
财政年份:
2013
资助国家:
英国
项目状态:
已结题
起止时间:
2013 至 --

项目摘要

项目成果

David Aspinall的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Application stores are set to become the dominant model for software distribution. After only four years, they are incredibly successful. In 2012, Apple's App Store and Google's Play Store each topped 25 billion app downloads. App stores not only offer apps and media content, they also have near total control on phones and tablets that connect to them. Hundreds of millions of people place their trust in app store and device security every day. Unfortunately, this trust is sometimes misplaced and is starting to be eroded.Also in 2012, mobile malware took off: tens of thousands of rogue apps have been found `in the wild', including premium-rate SMS-sending apps, mobile botnets that are orchestrated to attack others, Trojans that steal passwords, and spyware that monitors users' activities. Legitimate apps and mobile operating systems have also had flaws leading to exploits and information leaks. And as the Wired reporter Mat Honan discovered painfully this summer, the convenience of cloud backed-up synchronized devices means that a single break-in can destroy your data everywhere, in one fell swoop.App stores of the future, and the devices they control, must be better defended and resilient under attack. Users and data owners need justifiable confidence that apps will behave well and will not cause damage, whether by accident through bugs, or by intention through malicious design. Security should be ever present but unobtrusive, not impacting performance or causing crashes, not forever downloading patches, not demanding complex decisions, and not in the hands of just one party. Our research will examine a number of improvements to app stores and mobile device operating systems which will take us closer to future generation, secure app stores.For example, we will design algorithms that will automatically analyse apps to ensure they are safe. At the moment, this has to be done manually by malware analysts in expensive, time-consuming and sometimes unreliable ways. Another improvement is to add "digital evidence" to apps. Digital evidence can guarantee that an app is safe and it can be checked automatically, even on a phone. Evidence establishes that the code is safe, whereas the current state-of-the-art in industry is code signing, which at best only says where the code has come from. Finally, we want to find natural, user-friendly security policies: rather than the user examining a long list of complicated permissions as currently happens in Android, we want to have a set of sensible policies for different types of app. Under the bonnet the controls will actually be more precise than at present: with our solution, a game, for example, would not be allowed to access anywhere on the Internet, just the few places that it really needs to go; a text-messaging app might only be allowed to send messages to contacts from a users address book, not unknown numbers that might be premium-rate.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
Checking Contact Tracing App Implementations
检查接触者追踪应用程序的实施情况
DOI: 10.5220/0010237201330144
发表时间: 2021
期刊:
影响因子: --
作者: [Aspinall D]
通讯作者: Aspinall D
Explaining Unwanted Behaviours in Context
在上下文中解释不需要的行为
DOI: --
发表时间: 2016
期刊:
影响因子: --
作者: [Chen W]
通讯作者: Chen W
A text-mining approach to explain unwanted behaviours
解释不良行为的文本挖掘方法
DOI: 10.1145/2905760.2905763
发表时间: 2016
期刊:
影响因子: --
作者: [Chen W]
通讯作者: Chen W
Integrated Formal Methods
综合形式化方法
DOI: 10.1007/978-3-319-33693-0_8
发表时间: 2016
期刊:
影响因子: --
作者: [Andrei O]
通讯作者: Andrei O
8
    AISEC: AI Secure and Explainable by Construction
    • 批准号:
      EP/T027037/1
    • 项目类别:
      Research Grant
    • 资助金额:
      $85.46万
    • 财政年份:
      2020
    • 负责人:
      David Aspinall
    • 依托单位:
    Academic Centre of Excellence in Cyber Security Research - University of Edinburgh
    • 批准号:
      EP/R007144/1
    • 项目类别:
      Research Grant
    • 资助金额:
      $10.41万
    • 财政年份:
      2017
    • 负责人:
      David Aspinall
    • 依托单位:
    Robustness-as-evolvability: building a dynamic control plane with Software-Defined Networking
    • 批准号:
      EP/L02277X/1
    • 项目类别:
      Research Grant
    • 资助金额:
      $35.55万
    • 财政年份:
      2015
    • 负责人:
      David Aspinall
    • 依托单位:
    Resource Static Analysis
    • 批准号:
      EP/G006032/1
    • 项目类别:
      Research Grant
    • 资助金额:
      $12.9万
    • 财政年份:
      2009
    • 负责人:
      David Aspinall
    • 依托单位: