scholarly journals Formal Modeling in a Commercial Setting: A Case Study

Author(s):  
Andre Wong ◽  
Marsha Chechik
Keyword(s):  
2014 ◽  
Vol 2014 ◽  
pp. 1-10
Author(s):  
Chengwei Zhang ◽  
Xiaohong Li ◽  
Jing Hu ◽  
Zhiyong Feng ◽  
Jiaojiao Song

In the past, fairness verification of exchanges between the traders in E-commerce was based on a common assumption, so-called nonrepudiation property, which says that if the parties involved can deny that they have received or sent some information, then the exchanging protocol is unfair. So, the nonrepudiation property is not a sufficient condition. In this paper, we formulate a new notion of fairness verification based on the strand space model and propose a method for fairness verification, which can potentially determine whether evidences have been forged in transactions. We first present an innovative formal approach not to depend on nonrepudiation, and then establish a relative trader model and extend the strand space model in accordance with traders’ behaviors of E-commerce. We present a case study to demonstrate the effectiveness of our verification method.


Author(s):  
Ganesh Gopalakrishnan ◽  
Rajnish Ghughal ◽  
Ravi Hosabettu ◽  
Abdelillah Mokkedem ◽  
Ratan Nalumasu
Keyword(s):  

Computer ◽  
2021 ◽  
Vol 54 (9) ◽  
pp. 59-71
Author(s):  
Matthew Jablonski ◽  
Bo Yu ◽  
Gabriela Felicia Ciocarlie ◽  
Paulo Costa

2013 ◽  
Vol 8 (4) ◽  
pp. 323-339 ◽  
Author(s):  
Elvira Albert ◽  
Frank S. de Boer ◽  
Reiner Hähnle ◽  
Einar Broch Johnsen ◽  
Rudolf Schlatte ◽  
...  

Author(s):  
Frank S. de Boer ◽  
Reiner Hähnle ◽  
Einar Broch Johnsen ◽  
Rudolf Schlatte ◽  
Peter Y. H. Wong

Author(s):  
Jagadish Suryadevara ◽  
Gaetana Sapienza ◽  
Cristina Seceleanu ◽  
Tiberiu Seceleanu ◽  
Stein-Erik Ellevseth ◽  
...  

Author(s):  
Sung Chul Jung

What causes war? Among others, domestic unrest has been regarded as one of the factors contributing to interstate war. Many scholars, pundits, and policymakers have emphasized internal troubles to account for the occurrence of international wars, including the Falklands War, World Wars I and II, the Russo-Japanese War, and the Imjin War (Japan’s invasion of Korea in the late 16th century). Especially since the end of the Cold War, following the theoretical and methodological suggestions in Levy 1989 (cited under General Overviews), international relations scholars have paid increasingly more attention to domestic unrest and its interaction with other factors such as regime type and strategic rivalry to explain interstate and intrastate conflict. By taking different methodologies, such as quantitative statistical analysis, in-depth case study, and formal modeling, they build causal processes linking domestic unrest to international conflict, identify various factors at the levels of the individual, state, and dyad affecting the onset of a diversionary conflict, and provide empirical evidence supporting or disproving their theories.


2002 ◽  
Vol 60 (1) ◽  
pp. 59-82 ◽  
Author(s):  
Marsha Chechik ◽  
Andre Wong
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document