4 citations · 5 across the 5 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.CR2013
Toward Security Verification against Inference Attacks on Data Trees
Ryo Iwase, Yasunori Ishihara, Toru Fujiwara
This paper describes our ongoing work on security verification against inference attacks on data trees. We focus on infinite secrecy against inference attacks, which means that att…
cs.DB2013★ 1 cited
XPath Satisfiability with Parent Axes or Qualifiers Is Tractable under Many of Real-World DTDs
Yasunori Ishihara, Nobutaka Suzuki, Kenji Hashimoto +2
This paper aims at finding a subclass of DTDs that covers many of the real-world DTDs while offering a polynomial-time complexity for deciding the XPath satisfiability problem. In…