A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System
- 期刊名称IEICE Transactions on Information and Systems
- 作者LAMILLA ALVAREZ, Pablo; TAKATA, Yoshiaki
- 期第5期
- 印刷ISSN0916-8532
- 电子ISSN1745-1361
- 文件大小887.20KB
- 发表时间2014
- DOI10.1587/transinf.e97.d.1149
- 页码1149-1159
Calibration with Many Checking RulesAlvaro Sandroni, Rann Smorodinsky and Rakesh V. Vohra · Mathematics of Operations Research · 2003
Robust Convex OptimizationA. Ben-Tal and A. Nemirovski · Mathematics of Operations Research · 1998
Necessary Conditions in Nonsmooth OptimizationA. D. Ioffe · Mathematics of Operations Research · 1984
Almost Perfect Matrices and GraphsManfred Padberg · Mathematics of Operations Research · 2001
Sensitivity Analysis in Variational InequalitiesStella Dafermos · Mathematics of Operations Research · 1988
Inefficiency of Nash EquilibriaPradeep Dubey · Mathematics of Operations Research · 1986
Hamiltonian Cycles and Markov ChainsJerzy A. Filar and Dmitry Krass · Mathematics of Operations Research · 1994
Coalitions in Nonatomic Network Congestion GamesWan, Cheng · Mathematics of Operations Research · 2012