Art

J-GLOBAL ID：201902243551167747   Reference number：19A1785710

Refresh Instead of Revoke Enhances Safety and Availability: A Formal Analysis

安全性とアベイラビリティを向上させるREVOKEの代替品:形式的分析【JST・京大機械翻訳】

Author (2)： Shakarami Mehrnoosh (Institute for Cyber Security (ICS), Center for Security and Privacy Enhanced Cloud Computing (C-SPECC), Department of Computer Science, University of Texas at San Antonio, San Antonio, USA) ,  Sandhu Ravi (Institute for Cyber Security (ICS), Center for Security and Privacy Enhanced Cloud Computing (C-SPECC), Department of Computer Science, University of Texas at San Antonio, San Antonio, USA)
Material： Lecture Notes in Computer Science  (LNBI)
Volume： 11559  Page： 301-313  Publication year： 2019 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Article type： 原著論文  Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Abstract/Point： Due to inherent delays and per...

Register(free) or Log In to access     To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=19A1785710&from=J-GLOBAL&jstjournalNo=H0078D") }}

Thesaurus term： *availability ,  characterization ,  occupation ,  decision making ,  *safety ,  access control

Author keywords (5)： ABAC ,  Refresh ,  Consistency ,  Safety ,  Availability

JST classification (1)： Artificial intelligence  (JE08000Z)

Terms in the title (4)： 安全性 ,  アベイラビリティ ,  代替品 ,  形式的分析