|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 13 keywords
|
|
|
Results
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers, pp. 45-64, 2003, Springer, 3-540-23635-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETYS ![In: Networked Systems - 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers, pp. 209-213, 2016, Springer, 978-3-319-46139-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Suvansh Lal |
A Logic Programming Approach for Formal Verification of NetBill Security and Transactions Protocol ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1101.1814, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
36 | Marvin A. Sirbu, J. Doug Tygar |
NetBill: an Internet commerce system optimized for network-delivered services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Wirel. Commun. ![In: IEEE Wirel. Commun. 2(4), pp. 34-39, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
36 | Marvin A. Sirbu, J. D. Tygar |
NetBill: An Internet Commerce System Optimized for Network Delivered Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPCON ![In: COMPCON '95: Technologies for the Information Superhighway, Digest of Papers, San Francisco, California, USA, March 5-9, 1995, pp. 20-25, 1995, IEEE Computer Society, 0-8186-7029-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
36 | Benjamin Cox |
NetBill Security and Transaction Protocol. ![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 |
|
23 | Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari |
Applying Inductive Logic Programming to Process Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers, pp. 132-146, 2007, Springer, 978-3-540-78468-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEEMAS ![In: Multi-Agent Systems and Applications III, 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 16-18, 2003, Proceedings, pp. 404-412, 2003, Springer, 3-540-40450-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Mauricio Papa, Oliver Bremer, John Hale, Sujeet Shenoi |
Formal Analysis of E-Commerce Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: Fifth International Symposium on Autonomous Decentralized Systems, ISADS 2001, Dallas, Texas, USA, March 26-28, 2001, pp. 19-28, 2001, IEEE Computer Society, 0-7695-1065-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Jun Wei 0001, Shing-Chi Cheung, Xu Wang |
Exploiting Automatic Analysis of E-Commerce Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA, pp. 55-, 2001, IEEE Computer Society, 0-7695-1372-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSE ![In: Agent-Oriented Software Engineering II, Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001, Revised Papers and Invited Contributions, pp. 68-83, 2001, Springer, 3-540-43282-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Prasanta K. Bose |
Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999, pp. 102-109, 1999, IEEE Computer Society, 0-7695-0415-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Model Checking, UML, Architecture, Security Protocol, Model Translation |
23 | Ernest Foo, Colin Boyd |
A Payment Scheme Using Vouchers. ![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. 103-121, 1998, Springer, 3-540-64951-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|