𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Guest editor’s introduction: Special issue on Modelling and Verification of Cryptographic Protocols

✍ Scribed by Roberto M. Amadio

Book ID
113720566
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
123 KB
Volume
64
Category
Article
ISSN
1567-8326

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Special Issue on Digital Libraries: Gues
Special Issue on Digital Libraries: Guest Editor's Introduction: Guest Editor's Introduction
✍ Su-Shing Chen 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 76 KB

Vannevar Bush, in a 1945 Atlantic Monthly article, provided a vision of a system to disseminate and manage the vast amount of information accumulated by people. After 50 years, his vision is being realized by information highways, information infrastructures, digital libraries, and many other inform

GUEST EDITORS' INTRODUCTION: Special Iss
GUEST EDITORS' INTRODUCTION: Special Issue on Model Selection
✍ In Jae Myung; Malcolm R. Forster; Michael W. Browne 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 37 KB

GUEST EDITORS' INTRODUCTION ## Special Issue on Model Selection A measure of advancement in psychology, as in any other discipline, is the discovery of general laws and principles that govern the phenomenon under investigation. Mathematical models are often used to capture such regularities. In t