Keyword : decidability

A Secrecy Criterion for Outsourcing Encrypted Databases Based on Inference Analysis
Yasunori ISHIHARA Yasuhiro USHIROZAKO Kengo MORI Jun FURUKAWA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/06/01
Vol. E98-D  No. 6 ; pp. 1161-1165
Type of Manuscript:  Special Section LETTER (Special Section on Formal Approach)
Category: Database Security
Keyword: 
encrypted database, secrecy, inference analysis, decidability, 
 Summary | Full Text:PDF
The Dynamic-Typed Access Matrix Model and Decidability of the Safety Problem
Masakazu SOSHI Mamoru MAEKAWA Eiji OKAMOTO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/01/01
Vol. E87-A  No. 1 ; pp. 190-203
Type of Manuscript:  Special Section PAPER (Special Section on Cryptography and Information Security)
Category: Applications
Keyword: 
access control, access matrix model, safety problem, computational complexity, decidability, 
 Summary | Full Text:PDF
Turing Machine Equivalence of Time Asymmetric Choice Nets
Atsushi OHTA Kohkichi TSUJI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/11/25
Vol. E83-A  No. 11 ; pp. 2278-2281
Type of Manuscript:  Special Section LETTER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
time Petri net, Turing machines, decidability, 
 Summary | Full Text:PDF
Syntactic Unification Problems under Constrained Substitutions
Kazuhiro TAKADA Yuichi KAJI Tadao KASAMI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/05/25
Vol. E80-D  No. 5 ; pp. 553-561
Type of Manuscript:  PAPER
Category: Automata,Languages and Theory of Computing
Keyword: 
unification problem, decidability, computational complexity, order-sorted signature, tree automata, 
 Summary | Full Text:PDF