Search results for "NetBill"

Found 13 publication records. Showing 13 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
143	Kazuhiro Ogata 0001, Kokichi Futatsugi	Formal Analysis of the NetBill Electronic Commerce Protocol.	ISSS	2003	DBLP DOI BibTeX RDF	NetBill, OTS, verification, electronic commerce, security protocol, algebraic specification, CafeOBJ
36	Sanae El Mimouni, Mohamed Bouhdadi	An Incremental Proof-Based Process of the NetBill Electronic Commerce Protocol.	NETYS	2016	DBLP DOI BibTeX RDF
36	Suvansh Lal	A Logic Programming Approach for Formal Verification of NetBill Security and Transactions Protocol	CoRR	2011	DBLP BibTeX RDF
36	Marvin A. Sirbu, J. Doug Tygar	NetBill: an Internet commerce system optimized for network-delivered services.	IEEE Wirel. Commun.	1995	DBLP DOI BibTeX RDF
36	Marvin A. Sirbu, J. D. Tygar	NetBill: An Internet Commerce System Optimized for Network Delivered Services.	COMPCON	1995	DBLP DOI BibTeX RDF
36	Benjamin Cox	NetBill Security and Transaction Protocol.	USENIX Workshop on Electronic Commerce	1995	DBLP BibTeX RDF
23	Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari	Applying Inductive Logic Programming to Process Mining.	ILP	2007	DBLP DOI BibTeX RDF	Learning from Interpretations, Business Processes, Process Mining, Interaction Protocols
23	Marc-Philippe Huget, Jean-Luc Koning	Requirement Analysis for Interaction Protocols.	CEEMAS	2003	DBLP DOI BibTeX RDF
23	Mauricio Papa, Oliver Bremer, John Hale, Sujeet Shenoi	Formal Analysis of E-Commerce Protocols.	ISADS	2001	DBLP DOI BibTeX RDF
23	Jun Wei 0001, Shing-Chi Cheung, Xu Wang	Exploiting Automatic Analysis of E-Commerce Protocols.	COMPSAC	2001	DBLP DOI BibTeX RDF	Agent UML, e-commerce protocol, Spin/Promela, model checking, UML, formal methods
23	Jean-Luc Koning, Marc-Philippe Huget, Jun Wei, Xu Wang	Extended Modeling Languages for Interaction Protocol Design.	AOSE	2001	DBLP DOI BibTeX RDF
23	Prasanta K. Bose	Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN.	ASE	1999	DBLP DOI BibTeX RDF	Model Checking, UML, Architecture, Security Protocol, Model Translation
23	Ernest Foo, Colin Boyd	A Payment Scheme Using Vouchers.	Financial Cryptography	1998	DBLP DOI BibTeX RDF

Displaying result #1 - #13 of 13 (100 per page; Change: )