CT-ISG: Deductive Spreadsheets for Security Policy Specification and Analysis
CT-ISG: Deductive Spreadsheets for Security Policy Specification and Analysis
批准号:
0627447
负责人:
Coimbatore Ramakrishnan
金额:
$39.99万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2006
资助国家:
美国
项目状态:
已结题
起止时间:
2006-09-01 至 2010-08-31
中文摘要
规则语言已被用于指定安全和管理策略,例如访问控制和授权策略以及网络管理策略。 虽然这些规则语言旨在简化复杂策略的规范和管理,但大型规则集通常包含微妙的交互,使其难以理解和推理。本项目侧重于开发Deductive Spread Sheet(DSS)范式,该范式使用熟悉的类似电子表格的界面来指定规则。 DSS给符号和基于规则的计算带来了传统电子表格给数值计算带来的东西。 具体而言,演绎电子表格将允许用户直接看到规则的效果,并在规则和/或基础数据发生变化时看到结果的变化。 DSS的可行性已通过一个原型,已被用来描述在网络中的脆弱性的传播。 该项目大大扩展了DSS的范围,使其涵盖了广泛的与安全相关的政策规范和分析问题。 该项目解决了DSS语言开发中的基本问题,包括其语义,增量评估算法和解释演绎结果的技术。在这个项目中完成的研究将导致基于DSS的安全策略和信任管理策略的工具。 该项目将通过将这些工具纳入本科生和研究生课程,促进这些工具的使用。该项目有助于安全政策语言,逻辑和约束编程,语义,基于规则的计算和可视化接口的解释的研究和教育。
英文摘要
Rule languages have been used to specify security and management policies, such as access control and authorization policies, and network management policies. While these rule languages aim to simplify the specification and management of complex policies, large rule sets often contain subtle interactions, making them difficult to understand and reason about.This project focuses on developing the Deductive Spread Sheet (DSS) paradigm, which uses the familiar spreadsheet-like interface for specifying rules. DSS brings to symbolic and rule-based computation what traditional spreadsheets bring to numeric computation. Specifically, deductive spreadsheets will allow users to directly see the effect of the rules, and see the changes to the results when the rules and/or the base data is changed. The feasibility of DSS has been shown via a prototype that has been used to describe the propagation of vulnerabilities in a network. This project significantly expands the scope of DSS to a broad range of security-related policy specification and analysis problems. The project addresses fundamental questions in the development of the DSS language including its semantics, algorithms for its incremental evaluation, and techniques for explaining the results of deduction. Research done in this project will result in DSS-based tools for security policies and trust management policies. The project will promote the use of such tools by integrating them into undergraduate and graduate courses. The project contributes to research and education in security policy languages, logic and constraint programming, semantics, explanations of rule-based computation and interfaces for visualizing them.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
BIGDATA: F: DKM: DKA: Big Data Modeling and Analysis with Depth and Scale
-
批准号:1447549
-
项目类别:Standard Grant
-
资助金额:$150.0万
-
财政年份:2014
-
负责人:Coimbatore Ramakrishnan
-
依托单位:
Probabilistic Tabled Logic Programming
-
批准号:1018459
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2010
-
负责人:Coimbatore Ramakrishnan
-
依托单位:
ITR: Model Checking for Detecting Computer System Vulnerabilities
-
批准号:0205376
-
项目类别:Continuing Grant
-
资助金额:$92.5万
-
财政年份:2002
-
负责人:Coimbatore Ramakrishnan
-
依托单位:
CAREER: Tabled Logic Programming for Verification and Program Analysis
-
批准号:9876242
-
项目类别:Continuing Grant
-
资助金额:$20.34万
-
财政年份:1999
-
负责人:Coimbatore Ramakrishnan
-
依托单位:
CISE Postdoctoral Research Associates in Experimental Computer Science: Demand Propagation in Labeled Logic Programming Systems
-
批准号:9901602
-
项目类别:Standard Grant
-
资助金额:$6.6万
-
财政年份:1999
-
负责人:Coimbatore Ramakrishnan
-
依托单位:
CISE PostDoc: Beyond Finite State Model Checking in LMC
-
批准号:9805735
-
项目类别:Standard Grant
-
资助金额:$6.6万
-
财政年份:1998
-
负责人:Coimbatore Ramakrishnan
-
依托单位:
国内基金
海外基金
登录
查看更多内容
甘草苷通过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
-
负责人:
-
依托单位: