Yasuyuki Tsukada

According to our database, Yasuyuki Tsukada authored at least 17 papers between 1991 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Quality and Quantity Pair as Trust Metric.

Ken Mano, Hideki Sakurada, Yasuyuki Tsukada

IEICE Trans. Inf. Syst., February, 2023

2017

Trust Trust Me (The Additivity).

Ken Mano, Hideki Sakurada, Yasuyuki Tsukada

Proceedings of the Trust Management XI - 11th IFIP WG 11.11 International Conference, 2017

2016

On compositional reasoning about anonymity and privacy in epistemic logic.

Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe

Ann. Math. Artif. Intell., 2016

2013

An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy.

Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

2012

An approach to the formal analysis of license interoperability.

Kunihiko Fujita, Yasuyuki Tsukada

Comput. Electr. Eng., 2012

2010

Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach.

Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe

Trans. Data Priv., 2010

Role Interchange for Anonymity and Privacy of Voting.

Ken Mano, Yoshinobu Kawabe, Hideki Sakurada, Yasuyuki Tsukada

J. Log. Comput., 2010

A Notation for Policies Using Feature Structures.

Kunihiko Fujita, Yasuyuki Tsukada

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2010

An analysis of interoperability between licenses.

Kunihiko Fujita, Yasuyuki Tsukada

Proceedings of the 10th ACM Workshop on Digital Rights Management, 2010

2008

On Backward-Style Anonymity Verification.

Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008

2007

Theorem-proving anonymity of infinite-state systems.

Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada

Inf. Process. Lett., 2007

2005

Interactive and Probabilistic Proof of Mobile Code Safety.

Yasuyuki Tsukada

Autom. Softw. Eng., 2005

2001

Errata to "Martin-Löf's Type Theory as an Open-Ended Framework".

Yasuyuki Tsukada

Int. J. Found. Comput. Sci., 2001

Martin-Löf's Type Theory as an Open-Ended Framework.

Yasuyuki Tsukada

Int. J. Found. Comput. Sci., 2001

A Role-Based Specification of the SET Payment Transaction Protocol.

Hideki Sakurada, Yasuyuki Tsukada

Proceedings of the Advances in Network and Distributed Systems Security, 2001

1998

Type-free Equational Reasoning in the Theeory of Inductively Defined Types.

Yasuyuki Tsukada

Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998

1991

A knowledge transfer model: From zero-knowledge to full-knowledge.

Yasuyuki Tsukada, Kenji Koyama

Proceedings of the Algorithmic Learning Theory, 2nd International Workshop, 1991