课题基金 / 基金详情

EAGER: Interfaces to Reduce Human Error in Social Network Access Control Policy Authoring

EAGER: Interfaces to Reduce Human Error in Social Network Access Control Policy Authoring
EAGER:减少社交网络访问控制策略编写中人为错误的接口
批准号:
1048846
负责人:
Shriram Krishnamurthi
金额:
$10.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2010
资助国家:
美国
项目状态:
已结题
起止时间:
2010-09-01 至 2012-08-31

项目摘要

项目成果

Shriram Krishnamurthi的其他基金

相似基金

相关文献

中文摘要
翻译
互联网的发展意味着从系统管理员到临时用户的每个人都经常面临如何共享数据的决策。 研究表明,即使是专家也很难使用当前的访问控制机制准确地做出这些决定。 随着用户开始在社交和专业应用程序之间共享信息,有助于防止此类语义错误的可用访问控制机制变得更加紧迫。 这个项目开发了一个交互式的创作范例,帮助用户识别和澄清政策不一致之前,他们变成语义错误。 设想的工具在创作过程中检查策略及其后果,提醒用户潜在的不一致性(如孤立的文档比大多数其他文档更全球共享),并提出问题,以消除歧义。构建这种主动创作工具的挑战在于知道哪些不一致性和问题要跟踪,而不会让用户过多的交互。因此,建议将用户研究与工具建设和评价结合起来。 这个项目的智力价值在于它结合了对用户行为的研究和逻辑工具,从而产生了一种新的策略编写范式。 更广泛的影响来自于为主流终端用户构建工具,并以社交网络用户的人种学研究为指导。 欲了解更多信息,请访问项目网站,网址为:http://www.margrave-tool.org/
英文摘要
The growth of the Internet means everyone from system administrators to casual users are regularly confronted with making decisions on how to share data. Research suggests that even experts struggle to make these decisions accurately using current access-control mechanisms. As users start to share information across social and professional applications, usable access-control mechanisms that help prevent such semantic errors are all the more urgent. This project develops an interactive authoring paradigm that helps users identify and clarify policy inconsistencies before they turn into semantic errors. The envisioned tools examine policies and their consequences during authoring, alert users to potential inconsistencies (such as isolated documents shared more globally than most others), and ask questions in order to eliminate ambiguities.The challenge in building such proactive authoring tools lies in knowing what inconsistencies and issues to track without overwhelming a user with too much interaction. The proposal therefore combines user studies with tool building and evaluation. The intellectual merit of this project lies in its marriage of research on user behavior and logical tools to produce a new paradigm of policy authoring. Broader impacts come from building tools for mainstream end-users, guided by ethnographic studies of social-network users. For further information see the project web site at the URL: http://www.margrave-tool.org/
期刊论文(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
  • 依托单位:
海外基金