𝔖 Bobbio Scriptorium

✦ LIBER ✦

Betting Boolean-style: a framework for trading in securities based on logical formulas

✍ Scribed by Lance Fortnow; Joe Kilian; David M. Pennock; Michael P. Wellman

Book ID: 113570334
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 236 KB
Volume: 39
Category: Article
ISSN: 0167-9236
DOI: 10.1016/j.dss.2004.08.010

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Secure Agent-based Framework for Inter

A Secure Agent-based Framework for Internet Trading in Mobile Computing Environments

✍ Xun Yi; Chee Kheong Siew; Xiao Feng Wang; Eiji Okamoto 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 123 KB

A Software Framework for Non-Repudiation

A Software Framework for Non-Repudiation Service based on Adaptive~Secure Methodology in Electronic Commerce

✍ Sung Woo Tak; Eun Kyo Park 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 184 KB

[ACM Press the 2004 ACM workshop - Washi

[ACM Press the 2004 ACM workshop - Washington DC, USA (2004.10.29-2004.10.29)] Proceedings of the 2004 ACM workshop on Formal methods in security engineering - FMSE '04 - A logic-based framework for attribute based access control

✍ Wang, Lingyu; Wijesekera, Duminda; Jajodia, Sushil 📂 Article 📅 2004 🏛 ACM Press ⚖ 207 KB

[IEEE 2011 International Conference on R

[IEEE 2011 International Conference on Recent Trends in Information Technology (ICRTIT) - Chennai, India (2011.06.3-2011.06.5)] 2011 International Conference on Recent Trends in Information Technology (ICRTIT) - A model based security requirements engineering framework applied for online trading system

✍ Salini, P.; Kanmani, S. 📂 Article 📅 2011 🏛 IEEE ⚖ 268 KB

[IEEE Second IEEE Workshop on Dependabil

[IEEE Second IEEE Workshop on Dependability and Security in Sensor Networks and Systems - Columbia, MD, USA (24-28 April 2006)] Second IEEE Workshop on Dependability and Security in Sensor Networks and Systems - A Framework for Trust-based Cluster Head Election in Wireless Sensor Networks

✍ Crosby, G.V.; Pissinou, N.; Gadze, J. 📂 Article 📅 2006 🏛 IEEE ⚖ 350 KB

[IEEE 2011 IEEE 10th International Confe

[IEEE 2011 IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) - Changsha, China (2011.11.16-2011.11.18)] 2011IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications - A Hardware/Software Countermeasure and a Testing Framework for Cache Based Side Channel Attacks

✍ Arora, Ankita; Parameswaran, Sri; Ragel, Roshan; Jayasinghe, Darshana 📂 Article 📅 2011 🏛 IEEE ⚖ 554 KB