CT-ISG: Power to the People: Tools for Explaining Access-Control Consequences
CT-ISG: Power to the People: Tools for Explaining Access-Control Consequences
批准号:
0830945
负责人:
Shriram Krishnamurthi
金额:
$20.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2008
资助国家:
美国
项目状态:
已结题
起止时间:
2008-09-01 至 2012-08-31
中文摘要
项目摘要:在他们没有意识到的情况下,最终用户已经变成了访问控制策略的作者。从谷歌到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
-
依托单位:
SHF:Small:The Power of ``Why?'': Using Provenance for Disciplined Exploration in Model Finding
-
批准号:1714431
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2017
-
负责人:Shriram Krishnamurthi
-
依托单位:
CSforAll: EAGER: Making Bootstrap Accessible to Visually-Impaired Users
-
批准号:1648684
-
项目类别:Standard Grant
-
资助金额:$29.64万
-
财政年份:2016
-
负责人:Shriram Krishnamurthi
-
依托单位:
CSforAll: EAGER: Integrating Lightweight Data Science and Computing for K-12
-
批准号:1647486
-
项目类别:Standard Grant
-
资助金额:$29.89万
-
财政年份:2016
-
负责人:Shriram Krishnamurthi
-
依托单位:
Exploring Transfer Between Computing and Algebra and Its Effects on Mathematics Pedagogy and Self-efficacy in Computing Teachers
-
批准号:1535276
-
项目类别:Standard Grant
-
资助金额:$149.74万
-
财政年份:2015
-
负责人:Shriram Krishnamurthi
-
依托单位:
SHF: Medium: A Balance of Power: Programming and Reasoning for Software-Defined Networks
-
批准号:1408745
-
项目类别:Standard Grant
-
资助金额:$100.42万
-
财政年份:2014
-
负责人:Shriram Krishnamurthi
-
依托单位:
EAGER: By the People, For the People: Community Ratings for App Privacy
-
批准号:1449236
-
项目类别:Standard Grant
-
资助金额:$14.8万
-
财政年份:2014
-
负责人:Shriram Krishnamurthi
-
依托单位:
TWC: Small: Extensible Web Browsers and User Privacy
-
批准号:1223231
-
项目类别:Standard Grant
-
资助金额:$37.48万
-
财政年份:2012
-
负责人:Shriram Krishnamurthi
-
依托单位:
SHF: Medium: Collaborative Research: Semantics Engineering for Scripting Languages
-
批准号:1064418
-
项目类别:Standard Grant
-
资助金额:$45.15万
-
财政年份:2011
-
负责人:Shriram Krishnamurthi
-
依托单位:
EAGER: Interfaces to Reduce Human Error in Social Network Access Control Policy Authoring
-
批准号:1048846
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2010
-
负责人:Shriram Krishnamurthi
-
依托单位:
CT-ISG: Representation, Analysis, and Verification of Access Control in Dynamic Environments
-
批准号:0627310
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2006
-
负责人:Shriram Krishnamurthi
-
依托单位:
CAREER: Formal Verfication of Aspect-Oriented Software
-
批准号:0447509
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Shriram Krishnamurthi
-
依托单位:
Lightweight Analysis of Program Evolution Using Feature Signatures
-
批准号:0429492
-
项目类别:Standard Grant
-
资助金额:$14.67万
-
财政年份:2004
-
负责人:Shriram Krishnamurthi
-
依托单位:
Collaborative Research: Robust Interactive Web Services
-
批准号:0305949
-
项目类别:Standard Grant
-
资助金额:$13.5万
-
财政年份:2003
-
负责人:Shriram Krishnamurthi
-
依托单位:
Collaborative Research: Compositional Verification of Software Product Lines as Open Systems
-
批准号:0305950
-
项目类别:Continuing Grant
-
资助金额:$15.6万
-
财政年份:2003
-
负责人:Shriram Krishnamurthi
-
依托单位:
国内基金
海外基金
登录
查看更多内容
甘草苷通过IFN-I/ISG15信号通路促进卵巢颗粒细胞外泌体分泌延缓卵巢衰老的作用机制
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:李璐邑
-
依托单位:
ISG15/LFA-1调控肿瘤相关巨噬细胞浸润促进胆囊癌免疫逃逸的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:蔡炜龙
-
依托单位:
ISG15类泛素化修饰多囊泡小体介导KNG1-PI3K/Akt信号轴在葡萄膜炎内皮屏障损伤中的作用机制研究
-
批准号:JCZRQN202500743
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:
-
依托单位:
ISG15下调lncRNA RP11-5407.3介导细胞自噬促进子宫内膜癌进展的
作用及机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
肾周脂肪M2 巨噬细胞通过ISG15/LFA-1轴调控传入神经活性在肥
胖相关高血压中的作用及机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:郭静
-
依托单位:
ISG58 调控草鱼呼肠孤病毒复制的分子机制
-
批准号:2024JJ6247
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:胡旭东
-
依托单位:
STING/IFN-I/ISG15 在肝硬化内皮细胞损伤中的机制研究
-
批准号:2024JJ5610
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:汤参娥
-
依托单位:
ISG15介导西达苯胺对B细胞肿瘤靶点外排的抑制作用从而增强CAR-T疗效的研究
-
批准号:82300199
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:徐皓
-
依托单位:
骨髓ISG+NAMPT+中性粒细胞介导抗磷脂综合征B细胞异常活化的机制研究
-
批准号:82371799
-
项目类别:面上项目
-
资助金额:47.00万元
-
批准年份:2023
-
负责人:杨程德
-
依托单位:
黑色素瘤BRAF抑制剂耐药新机制:USP18去ISG化cGAS促进自噬
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2023
-
负责人:
-
依托单位: