The Dynamic-Typed Access Matrix Model and Decidability of the Safety Problem
スポンサーリンク
概要
- 論文の詳細を見る
- 2004-01-01
著者
-
Okamoto E
Institute Of Information Sciences And Electronics University Of Tsukuba
-
SOSHI Masakazu
Japan Advanced Institute ofScience and Technology
-
MAEKAWA Mamoru
Graduate School of Information Systems, University of Electro-Communications
-
OKAMOTO Eiji
Institute of Information Sciencesand Electronics, University of Tsukuba
-
Soshi M
Japan Advanced Institute Of Science And Technology
-
Maekawa Mamoru
Graduate School Of Information Systems University Of Electro-communications
-
Soshi Masakazu
Japan Advanced Institute Of Science And Technology
-
Okamoto Eiji
Institute Of Information Sciences And Electronics University Of Tsukuba
-
Okamoto Eiji
Department Of Computer Science And Engineering Nagoya Institute Of Technology
関連論文
- On Anonymity Metrics for Practical Anonymous Communication Protocols
- The Dynamic-Typed Access Matrix Model and Decidability of the Safety Problem (Applications) (Cryptography and Information Security)
- The Dynamic-Typed Access Matrix Model and Decidability of the Safety Problem
- Proposal of an Automatic Signature Scheme Using a Compiler (Special Section on Cryptography and Information Security)
- Permutation Cipher Scheme Using Polynomials over a Field
- Software Obfuscation on a Theoretical Basis and Its Implementation
- Network-Transparent Object Naming and Locating in the GALAXY Distributed Operating System
- Proxy Signatures: Delegation of the Power to Sign Messages (Special Section on Information Theory and Its Applications)
- Security of Kuwakado-Tanaka Transitive Signature Scheme for Directed Trees(Information Security)
- Proposal for New E-cash System Using Message Recovery Signature (特集 情報セキュリティの理論と応用)
- Application of Wavelet Packet Modulation to Mobile Communication(Wide Band Systems)
- A Fast Signature Scheme with New On-line Computation(Discrete Mathematics and Its Applications)