Search results for "iKP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
122	Hong Wang, Jianping Ma, Bo Chen	Formal Analysis of Fairness in E-Payment Protocol Based on Strand Space.	WISM	2009	DBLP DOI BibTeX RDF	e-Payment protocol, iKP, fairness, strand space
76	Yonggen Gu, Guoqiang Li 0001, Yuxi Fu	Analyzing iKP Security in Applied Pi Calculus.	CIS	2004	DBLP DOI BibTeX RDF
76	Kazuhiro Ogata 0001, Kokichi Futatsugi	Formal Analysis of the iKP Electronic Payment Protocols.	ISSS	2002	DBLP DOI BibTeX RDF
56	Vijay Varadharajan, Yi Mu 0001	On The Design Of Secure Electronic Payment Schemes For Internet.	ACSAC	1996	DBLP DOI BibTeX RDF	secure electronic payment schemes, commercial electronic credit card transactions, iKP, STT, SEPP, permission-based payment protocol, PBP protocol, purchase request phase, payment phase, secret private key, Internet, disputes, EFTS
44	Supakorn Kungpisdan, Bala Srinivasan 0002, Phu Dung Le	Lightweight Mobile Credit-Card Payment Protocol.	INDOCRYPT	2003	DBLP DOI BibTeX RDF	Electronic commerce and payment, credit-card payment protocol, mobile commerce
44	Yiannis Tsiounis	A Security Framework for Card-Based Systems.	Financial Cryptography	2001	DBLP BibTeX RDF
44	Els Van Herreweghen	Non-repudiation in SET: Open Issues.	Financial Cryptography	2000	DBLP DOI BibTeX RDF
44	Clementina D. Mladenova	Group-theoretical methods in manipulator kinematics and symbolic computations.	J. Intell. Robotic Syst.	1993	DBLP DOI BibTeX RDF	Vector parameter, manipulator modelling, robot control, symbolic computations, manifold, Lie group
32	Yuxia Sun, Ronghua Fu	IKP-CDIO: exploration and practice on teaching framework of embedding ideological education into engineering curriculum.	ICEEL	2021	DBLP DOI BibTeX RDF
32	Bertold Bongardt	Novel Plücker Operators and a Dual Rodrigues Formula Applied to the IKP of General 3R Chains.	ARK	2018	DBLP DOI BibTeX RDF
32	Kazuhiro Ogata 0001	Model checking the iKP electronic payment protocols.	J. Inf. Secur. Appl.	2017	DBLP DOI BibTeX RDF
32	Stephanos Matsumoto, Raphael M. Reischuk	IKP: Turning a PKI Around with Decentralized Automated Incentives.	IEEE Symposium on Security and Privacy	2017	DBLP DOI BibTeX RDF
32	Stephanos Matsumoto, Raphael M. Reischuk	IKP: Turning a PKI Around with Blockchains.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
32	Xuemiao Xu, Xiao-Zheng Lai, Qiang Jin, Xue-Han Yuan, Sheng-Li Lai, Yan-Wen Lin, Jian-wen Huang	A Novel IKP-Based Biometric Recognition Using Mobile Phone Camera.	Int. J. Distributed Sens. Networks	2015	DBLP DOI BibTeX RDF
32	Yunqing Han, Tianxiang Li, Kozo Saito	Comprehensive method based on model free method and IKP method for evaluating kinetic parameters of solid state reactions.	J. Comput. Chem.	2012	DBLP DOI BibTeX RDF
32	Kazuhiro Ogata 0001, Kokichi Futatsugi	Flaw and modification of the iKP electronic payment protocols.	Inf. Process. Lett.	2003	DBLP DOI BibTeX RDF
32	Robert S. Lubarsky	Ikp and Friends.	J. Symb. Log.	2002	DBLP DOI BibTeX RDF
32	Mihir Bellare, Juan A. Garay, Ralf C. Hauser, Amir Herzberg, Hugo Krawczyk, Michael Steiner 0001, Gene Tsudik, Els Van Herreweghen, Michael Waidner	Design, implementation, and deployment of the iKP secure electronic payment system.	IEEE J. Sel. Areas Commun.	2000	DBLP DOI BibTeX RDF
32	Winfried Lenders	Computerlinguistik am Institut für Kommunikationsforschung und Phonetik (IKP) der Universität Bonn.	LDV Forum	1997	DBLP BibTeX RDF
32	Mihir Bellare, Amir Herzberg, Michael Steiner 0001, Gene Tsudik, Michael Waidner, Ralf C. Hauser, Juan A. Garay	iKP - A Family of Secure Electronic Payment Protocols.	USENIX Workshop on Electronic Commerce	1995	DBLP BibTeX RDF
32	Hermann Flessner, Peter Gorny, Heinz-Peter Haake, Werner Hansmann	Entwicklung und Einsatz eines interaktiven Konstruktionsplatzes (IKP).	GI Jahrestagung	1974	DBLP DOI BibTeX RDF
22	Han Zhu, Yonggen Gu, Xiaojuan Cai	Knowledge Aware Bisimulation and Anonymity.	ICCS (1)	2009	DBLP DOI BibTeX RDF	Applied Pi, Formal Methods, Network Security, Anonymity
22	Supakorn Kungpisdan, Bala Srinivasan 0002, Phu Dung Le	A Secure Account-Based Mobile Payment Protocol.	ITCC (1)	2004	DBLP DOI BibTeX RDF	Electronic commerce protocol, credit-card payment, cryptographic protocol, mobile payment
22	Richard J. Lipton, Rafail Ostrovsky	Micropayments via Efficient Coin-Flipping.	Financial Cryptography	1998	DBLP DOI BibTeX RDF