光环

AURA，一种用于授权和审计的编程语言。本文提出了一种访问控制编程语言AURA，它以统一的方式处理普通的编程结构（如整数和递归函数）和授权逻辑结构（如主体和访问控制策略）。AURA基于多态DCC，并使用依赖类型来允许直接引用AURA值的断言，同时将计算排除在断言级别之外，以确保可处理性。本文的主要技术成果包括对AURA打字系统的可判定性和可靠性进行了全面的机械验证，并设计了一个原型的打字机和解释器。

这个软件也是同行评审按日记帐汤姆斯.

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考，1标准件)

显示第1到第10个结果，共10个。
按年份排序(引用)

  1. Lepigre，Rodolphe:语义值限制的经典实现模型（2016）
  2. 克里斯·卡西诺（Chris Casinghino）；维尔赫尔姆（Vilhelm）斯约伯格（Sjöberg）；斯蒂芬妮（Stephanie）魏里奇（Weirich），斯蒂芬妮（Stephanie）：用独立类型语言组合证明和程序（2014年）
  3. Amir Mohammadian，Sepher；Fallah，Mehran S.：访问控制预测多态演算中的不干扰（2013）
  4. Swamy，Nikhil；Chen，Juan；Fournet，Cédric；Strub，Pierre-Yves；Bhargavan，Karthikeyan；Yang，Jean：具有值依赖类型的安全分布式编程（2013）
  5. Backes，Michael；Maffei，Matteo；Pecina，Kim；Reischuk，Raphael M.：G2C：目标驱动规范中的加密协议（2012）
  6. 亚瑟·查盖罗：《本地无名代表》（2012）
  7. Swamy，Nikhil；Chen，Juan；Fournet，Cédric；Strub，Pierre-Yves；Bhargavan，Karthikeyan；Yang，Jean：具有值依赖类型的安全分布式编程（2011）
  8. Morgenstern，Jamie；Licata，Daniel R.：独立类型编程中的安全类型编程（2010）
  9. Abadi，Martín:访问控制中的逻辑（教程注释）（2009）
  10. Jia，Limin；Vaughan，Jeffrey A；Mazurak，Karl；Zhao，Jianzhou；Zarko，Luke；Schorr，Joseph；Zdancewic，Steve:AURA:授权和审计的编程语言（2008）