CT-ISG: Power to the People: Tools for Explaining Access-Control Consequences
CT-ISG: Power to the People: Tools for Explaining Access-Control Consequences
批准号:
0830929
负责人:
Kathryn Fisler
金额:
$20.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2008
资助国家:
美国
项目状态:
已结题
起止时间:
2008-09-01 至 2012-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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)
会议论文
Designing Professional Development to Foster Mastery and Interest for Integrating Computer Science into Mathematics Classes
-
批准号:2031252
-
项目类别:Standard Grant
-
资助金额:$99.95万
-
财政年份:2021
-
负责人:Kathryn Fisler
-
依托单位:
EAGER: Shifting to Online Instruction for Math Teachers Teaching Computing
-
批准号:2039357
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2020
-
负责人:Kathryn Fisler
-
依托单位:
Collaborative Research: Hybrid Professional Development to Enhance Teachers' Use of Bootstrap
-
批准号:1738598
-
项目类别:Standard Grant
-
资助金额:$68.29万
-
财政年份:2017
-
负责人:Kathryn Fisler
-
依托单位:
SaTC-EDU: EAGER: Enhancing Cybersecurity Education through Peer Review
-
批准号:1500039
-
项目类别:Standard Grant
-
资助金额:$22.93万
-
财政年份:2015
-
负责人:Kathryn Fisler
-
依托单位:
SHF: Small: User Studies to Improve Novice Programming
-
批准号:1116539
-
项目类别:Standard Grant
-
资助金额:$27.16万
-
财政年份:2011
-
负责人:Kathryn Fisler
-
依托单位:
BPC-DP: Deploying a Vertically-Integrated Computing Curriculum to At-Risk Students
-
批准号:1042210
-
项目类别:Standard Grant
-
资助金额:$59.93万
-
财政年份:2011
-
负责人:Kathryn Fisler
-
依托单位:
CPA-DA: From Informal Specifications to RTL Assertions for Bus Protocols
-
批准号:0811067
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2008
-
负责人:Kathryn Fisler
-
依托单位:
Collaborative Research: Compositional Verification of Software Product Lines as Open Systems
-
批准号:0305834
-
项目类别:Continuing Grant
-
资助金额:$13.4万
-
财政年份:2003
-
负责人:Kathryn Fisler
-
依托单位:
CAREER: A Computational Infrastructure for Timing Diagrams in Computer-Aided Verification
-
批准号:0132659
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Kathryn Fisler
-
依托单位:
国内基金
海外基金
登录
查看更多内容
甘草苷通过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
-
负责人:
-
依托单位: