Yasuyuki Tsukada

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