|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 15 keywords
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISM ![In: Web Information Systems and Mining, International Conference, WISM 2009, Shanghai, China, November 7-8, 2009. Proceedings, pp. 469-478, 2009, Springer, 978-3-642-05249-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS ![In: Computational and Information Science, First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings, pp. 879-887, 2004, Springer, 3-540-24127-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
76 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Formal Analysis of the iKP Electronic Payment Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers, pp. 441-460, 2002, Springer, 3-540-00708-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
56 | Vijay Varadharajan, Yi Mu 0001 |
On The Design Of Secure Electronic Payment Schemes For Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 12th Annual Computer Security Applications Conference (ACSAC 1996), 9-13 December 1996, San Diego, CA, USA, pp. 78-87, 1996, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT ![In: Progress in Cryptology - INDOCRYPT 2003, 4th International Conference on Cryptology in India, New Delhi, India, December 8-10, 2003, Proceedings, pp. 295-308, 2003, Springer, 3-540-20609-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Financial Cryptography ![In: Financial Cryptography, 5th International Conference, FC 2001, Grand Cayman, British West Indies, February 19-22, 2002, Proceedings, pp. 201-222, 2001, Springer, 3-540-44079-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
44 | Els Van Herreweghen |
Non-repudiation in SET: Open Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Financial Cryptography ![In: Financial Cryptography, 4th International Conference, FC 2000 Anguilla, British West Indies, February 20-24, 2000, Proceedings, pp. 140-156, 2000, Springer, 3-540-42700-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
44 | Clementina D. Mladenova |
Group-theoretical methods in manipulator kinematics and symbolic computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 8(1), pp. 21-34, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEEL ![In: ICEEL 2021: 5th International Conference on Education and E-Learning, Virtual Event, Japan, November 5 - 7, 2021, pp. 185-190, 2021, ACM, 978-1-4503-8574-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARK ![In: Advances in Robot Kinematics 2018, ARK 2018, Bologna, Italy, 1-5 July 2018., pp. 65-73, 2018, Springer, 978-3-319-93187-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Kazuhiro Ogata 0001 |
Model checking the iKP electronic payment protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Secur. Appl. ![In: J. Inf. Secur. Appl. 36, pp. 101-111, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Stephanos Matsumoto, Raphael M. Reischuk |
IKP: Turning a PKI Around with Decentralized Automated Incentives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Security and Privacy ![In: 2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, May 22-26, 2017, pp. 410-426, 2017, IEEE Computer Society, 978-1-5090-5533-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Stephanos Matsumoto, Raphael M. Reischuk |
IKP: Turning a PKI Around with Blockchains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2016, pp. 1018, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Distributed Sens. Networks ![In: Int. J. Distributed Sens. Networks 11, pp. 705710:1-705710:11, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Chem. ![In: J. Comput. Chem. 33(31), pp. 2516-2525, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Flaw and modification of the iKP electronic payment protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 86(2), pp. 57-62, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Robert S. Lubarsky |
Ikp and Friends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 67(4), pp. 1295-1322, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 18(4), pp. 611-627, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Winfried Lenders |
Computerlinguistik am Institut für Kommunikationsforschung und Phonetik (IKP) der Universität Bonn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LDV Forum ![In: LDV Forum 14(1), pp. 58-61, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Electronic Commerce ![In: First USENIX Workshop on Electronic Commerce, New York, New York, USA, July 11-12, 1995, 1995, USENIX Association. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
32 | Hermann Flessner, Peter Gorny, Heinz-Peter Haake, Werner Hansmann |
Entwicklung und Einsatz eines interaktiven Konstruktionsplatzes (IKP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung ![In: GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974, pp. 659-669, 1974, Springer, 3-540-07141-5. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
22 | Han Zhu, Yonggen Gu, Xiaojuan Cai |
Knowledge Aware Bisimulation and Anonymity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (1) ![In: Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part I, pp. 53-62, 2009, Springer, 978-3-642-01969-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (1) ![In: International Conference on Information Technology: Coding and Computing (ITCC'04), Volume 1, April 5-7, 2004, Las Vegas, Nevada, USA, pp. 35-39, 2004, IEEE Computer Society, 0-7695-2108-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Financial Cryptography ![In: Financial Cryptography, Second International Conference, FC'98, Anguilla, British West Indies, February 23-25, 1998, Proceedings, pp. 1-15, 1998, Springer, 3-540-64951-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|