This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known Abadi-Rogaway logic with probabilistic hashes and give a precise semantic interpretation to it using Canetti’s oracle hashes. These are probabilistic polynomialtime hashes that hide all partial information. Finally, w...

In the ECOOP’97 conference, the author of the present paper investigated a conservative extension, called Ob+1<:, of the first-order Object Calculus Ob1<: of Abadi and Cardelli, supporting method extension in presence of object subsumption. In this paper, we extend that work with explicit variance annotations and selftypes. The resulting calculus, called Ob+s<:, is a proper extension of Ob+1<:....

In the past few years a lot of attention has been paid to the use of special logics to analyae cryptographic protocols, foremost among these being the logic of Burrows, Abadi and Needham (the BAN logic). These logics have been successful in finding weaknesses in various examples. In this paper a limitation of the BAN logic is illustrated with two examples. These show that it is easy for the BAN...

In this era of interconnectedness, technological progress occurs very quickly. One technology that istrending and has been widely accepted by almost everyone around the world is e-commerce. However, in Indonesiaitself, there are still many businesses done conventionally, such as CV. Cahaya Abadi. This causesbusiness processes to not work efficiently, especially during transaction processing. An...

Ipteks for the community on CV.Agro Citra Abadi Batu with aim of helping partners in order to have a reliable accounting information systems that can provide important information, accurate and timely, so owners parties concerned analyze take right decision. Problems is not yet able evaluate his performance having system make financial statements. The purpose this activity improve understanding...

Kegiatan export import merupakan kegiatan yang cukup komplek karena melibatkan banyak peran didalamnya seperti pihak Exportir, Importir, Perusahaan Angkutan Barang (darat, laut, maupun udara), Depot Kontainer, Direktorat Bea dan Cukai, Bank, Perindustrian Perdagangan, Asuransi, serta lainnya. Sebagai salah satu perusahaan operator depot kontainer, PT. Multi Sejahtera Abadi mempunyai utama untuk...

We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal result by Abadi and Rogaway and shortly discuss some of its extensions. Then we describe a general model for reasoning about the soundness of implementations of equational theories. We illustrate this model on several examples of com...