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 databasesecrecyinference analysisdecidability
 Summary | Full Text:PDF(259.4KB)

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 controlaccess matrix modelsafety problemcomputational complexitydecidability
 Summary | Full Text:PDF(697.9KB)

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 netTuring machinesdecidability
 Summary | Full Text:PDF(181.3KB)

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 problemdecidabilitycomputational complexityorder-sorted signaturetree automata
 Summary | Full Text:PDF(739.2KB)