课题基金 / 基金详情

CT-ISG: Power to the People: Tools for Explaining Access-Control Consequences

CT-ISG: Power to the People: Tools for Explaining Access-Control Consequences
CT-ISG:权力归于人民:解释访问控制后果的工具
批准号:
0830945
负责人:
Shriram Krishnamurthi
金额:
$20.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2008
资助国家:
美国
项目状态:
已结题
起止时间:
2008-09-01 至 2012-08-31
关键词:

项目摘要

项目成果

Shriram Krishnamurthi的其他基金

相似基金

相关文献

中文摘要
翻译
摘要:终端用户在没有意识到的情况下,已经变成了访问控制策略的作者。从b谷歌到Facebook再到微软HealthVault等等,这些政策通常隐藏在简单的用户界面后面,但最终用户负责设置这些政策,然后对这些政策的后果负责。事实上,界面表面上的简单有时掩盖了结果的重要性。由于应用程序对于最终用户来说是一个黑盒,因此用户很难预测操作的结果。用户只能看到他们对世界的看法,但他们的访问控制决定会影响其他人的看法。最终用户需要工具来确定其决策的效果,特别强调政策变化的效果。这个项目正在开发用户友好的方法来浏览和调查这些影响和变化的细节。底层技术牢固地建立在理论基础上,从而保证了正式的准确性,而不是近似的答案。这些工具本身以考虑用户认知期望和偏见的方式总结信息。这个项目更广泛的影响来自于对最终用户的关注,而不是程序员和其他技术用户。一些终端用户过于渴望接受新技术,而没有充分认识到其后果,而另一些则过于试探性,因为他们担心(有时是想象的)新技术可能产生的问题。这个项目的工具帮助前者变得更加谨慎,后者变得更加自信。最终的结果应该是一个更精明、更包容的网络社会。
英文摘要
Project Abstract:Without their realizing it, end-users have been turned into authors of access-control policies. Everywhere from Google to Facebook to Microsoft HealthVault and beyond, these policies are usually hidden behind simple user interfaces, but ultimately the users are responsible for setting and then taking responsibility for the consequences of these policies. Indeed, the apparent simplicity of the interfaces sometimes belie the significance of the outcomes.Because applications are a black-box to end-users, it becomes difficult for users to predict the consequences of an action. Users see only their view of the world, but their access-control decisions affect the views of others. End-users need tools to determine the effect of their decisions, with special emphasis on the effect of policy changes. This project is developing user-friendly means to browse and investigate the details of these effects and changes. The underlying techniques are firmly grounded in theory, resulting in formal accuracy guarantees rather than approximate answers. The tools themselves summarize information in ways that account for the cognitive expectations and biases of users.The broader impact of this project comes from the focus on end-users rather than programmers and other technical users. Some end-users are too eager to embrace new technologies without fully appreciating their consequences, while others are too tentative due to their concern about (sometimes imaginary) problems they might create. The tools from this project help the former become more cautious, and the latter more confident. The net result should be a more savvy, yet vastly more inclusive, Cyber society.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
FMitF: Track II: Educating Developers about Ownership in Rust
  • 批准号:
    2319014
  • 项目类别:
    Standard Grant
  • 资助金额:
    $9.99万
  • 财政年份:
    2023
  • 负责人:
    Shriram Krishnamurthi
  • 依托单位:
SHF: Small: Little Tricky Logics: Misconceptions in Understanding Logics and Formal Properties
  • 批准号:
    2227863
  • 项目类别:
    Standard Grant
  • 资助金额:
    $59.96万
  • 财政年份:
    2023
  • 负责人:
    Shriram Krishnamurthi
  • 依托单位:
Pedagogical Tools for Formal Methods
  • 批准号:
    2208731
  • 项目类别:
    Standard Grant
  • 资助金额:
    $50.0万
  • 财政年份:
    2022
  • 负责人:
    Shriram Krishnamurthi
  • 依托单位:
EAGER: Semantics for Learning Functional Programming
  • 批准号:
    1803362
  • 项目类别:
    Standard Grant
  • 资助金额:
    $15.0万
  • 财政年份:
    2018
  • 负责人:
    Shriram Krishnamurthi
  • 依托单位:
国内基金
海外基金
甘草苷通过IFN-I/ISG15信号通路促进卵巢颗粒细胞外泌体分泌延缓卵巢衰老的作用机制
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2025
  • 负责人:
    李璐邑
  • 依托单位:
ISG15/LFA-1调控肿瘤相关巨噬细胞浸润促进胆囊癌免疫逃逸的机制研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2025
  • 负责人:
    蔡炜龙
  • 依托单位:
ISG15类泛素化修饰多囊泡小体介导KNG1-PI3K/Akt信号轴在葡萄膜炎内皮屏障损伤中的作用机制研究
  • 批准号:
    JCZRQN202500743
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2025
  • 负责人:
  • 依托单位:
ISG15下调lncRNA RP11-5407.3介导细胞自噬促进子宫内膜癌进展的 作用及机制研究