Yasuyuki Tsukada - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2023

Quality and Quantity Pair as Trust MetricKen Mano, Hideki Sakurada, Yasuyuki Tsukada. ieicetd, 106(2):181-194, February 2023. [doi]

2017

Trust Trust Me (The Additivity)Ken Mano, Hideki Sakurada, Yasuyuki Tsukada. ifiptm 2017: 135-151 [doi]

2016

On compositional reasoning about anonymity and privacy in epistemic logicYasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe. AMAI, 78(2):101-129, 2016. [doi]

2013

An Epistemic Approach to Compositional Reasoning about Anonymity and PrivacyYasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe. tark 2013: [doi]

2012

An approach to the formal analysis of license interoperabilityKunihiko Fujita, Yasuyuki Tsukada. cee, 38(6):1670-1686, 2012. [doi]

2010

2009

Anonymity, Privacy, Onymity, and Identity: A Modal Logic ApproachYasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe. cse 2009: 42-51 [doi]

2008

On Backward-Style Anonymity VerificationYoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada. ieicet, 91-A(9):2597-2606, 2008. [doi]

2007

Theorem-proving anonymity of infinite-state systemsYoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada. ipl, 101(1):46-51, 2007. [doi]

2005

Interactive and Probabilistic Proof of Mobile Code SafetyYasuyuki Tsukada. ASE, 12(2):237-257, 2005. [doi]

2001

A Role-Based Specification of the SET Payment Transaction ProtocolHideki Sakurada, Yasuyuki Tsukada. netsec 2001: 1-15

Errata to Martin-Löf s Type Theory as an Open-Ended Framework Yasuyuki Tsukada. ijfcs, 12(5):695, 2001.

Martin-Löf s Type Theory as an Open-Ended FrameworkYasuyuki Tsukada. ijfcs, 12(1):31-67, 2001.

1998

Type-free Equational Reasoning in the Theeory of Inductively Defined TypesYasuyuki Tsukada. FLOPS 1998: 227-246

1991

A knowledge transfer model: From zero-knowledge to full-knowledgeYasuyuki Tsukada, Kenji Koyama. alt 1991: 187-195

Sign in or sign up to see more results.

runs on WebDSL