Yasuyuki Tsukada

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 3

Top Topics

Epistemic Logic

Private Information

Data Publishing

Modal Operators

Top Venues

IEICE Trans. Inf. Syst.

Ann. Math. Artif. Intell.

Publications

Ken Mano, Hideki Sakurada, Yasuyuki Tsukada
Quality and Quantity Pair as Trust Metric. IEICE Trans. Inf. Syst. 106 (2) (2023)
Ken Mano, Hideki Sakurada, Yasuyuki Tsukada
Trust Trust Me (The Additivity). IFIPTM (2017)
Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe
On compositional reasoning about anonymity and privacy in epistemic logic. Ann. Math. Artif. Intell. 78 (2) (2016)
Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe
An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy. CoRR (2013)
Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe
An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy. TARK (2013)
Kunihiko Fujita, Yasuyuki Tsukada
An approach to the formal analysis of license interoperability. Comput. Electr. Eng. 38 (6) (2012)
Kunihiko Fujita, Yasuyuki Tsukada
An analysis of interoperability between licenses. Digital Rights Management Workshop (2010)
Kunihiko Fujita, Yasuyuki Tsukada
A Notation for Policies Using Feature Structures. DPM/SETOP (2010)
Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach. Trans. Data Priv. 3 (3) (2010)
Ken Mano, Yoshinobu Kawabe, Hideki Sakurada, Yasuyuki Tsukada
Role Interchange for Anonymity and Privacy of Voting. J. Log. Comput. 20 (6) (2010)
Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach. CSE (3) (2009)
Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada
On Backward-Style Anonymity Verification. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (9) (2008)
Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada
Theorem-proving anonymity of infinite-state systems. Inf. Process. Lett. 101 (1) (2007)
Yasuyuki Tsukada
Interactive and Probabilistic Proof of Mobile Code Safety. Autom. Softw. Eng. 12 (2) (2005)
Hideki Sakurada, Yasuyuki Tsukada
A Role-Based Specification of the SET Payment Transaction Protocol. Network Security (2001)
Yasuyuki Tsukada
Errata to "Martin-Löf's Type Theory as an Open-Ended Framework". Int. J. Found. Comput. Sci. 12 (5) (2001)
Yasuyuki Tsukada
Martin-Löf's Type Theory as an Open-Ended Framework. Int. J. Found. Comput. Sci. 12 (1) (2001)
Yasuyuki Tsukada
Type-free Equational Reasoning in the Theeory of Inductively Defined Types. Fuji International Symposium on Functional and Logic Programming (1998)
Yasuyuki Tsukada, Kenji Koyama
A knowledge transfer model: From zero-knowledge to full-knowledge. ALT (1991)