نتایج جستجو برای: aldin asad abadi
تعداد نتایج: 1078 فیلتر نتایج به سال:
We describe what we believe was the rst use of formal methods to verify a bank payment system. This was an electronic purse for ooine small-to-medium value payments, and has since developed into the VISA COPAC product. We veriied it using a variant of the BAN logic.
Boyd and Mao (“On a Limitation of BAN Logic”, in these proceedings) suggest that it is easy to use the authentication logic of Burrows, Abadi and Needham to approve protocols that are in practice unsound, and present two examples. We illustrate that the problem in the first example can be traced to a violation of pre-conditions in the BAN analysis (involving ill-founded trust in a trusted serve...
We describe what we believe was the first use of formal methods to verify a bank payment system. This was an electronic purse for offline small-to-medium value payments, and has since developed into the VISA COPAC product. We verified it using a variant of the BAN logic.
Cleft lip and cleft palate are one of the most frequent congenital anomalies worldwide. This study was conducted in order to measure the frequency of cleft lip and palate among live births in Akbar Abadi Hospital. This is a descriptive study, dealing with 57526 cases of live birth out of 59477 medical files in Akbar Abadi Hospital from 2004 to 2008. All the collected data were recorded in speci...
The idea of parametric polymorphism is that of a single operator that can be used for di erent data types and whose behaviour is somehow uniform for each type. This concept was rst proposed by Strachey [13]. Reynolds [9] uses binary relations to de ne a uniformity condition for parametric polymorphism. In [1] Plotkin and Abadi proposed a second order logic for second order lambdacalculus; this ...
Henry D. Appelman,1 Asad Umar,2 Roy C. Orlando,3 Stephen J. Sontag,4 Sanjay Nandurkar,5 Hala El-Zimaity,6 Angel Lanas,7 Paolo Parise,8 René Lambert,9 and Helen M. Shields10 1Department of Pathology, University of Michigan, Ann Arbor, Michigan. 2Division of Cancer Prevention, National Cancer Institute, Rockville, Maryland. 3Department of Cell and Molecular Physiology, University of North Carolin...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید