Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book is a collection of refereed invited papers on the history of computing from the 1940s to the 1990s with one paper going back to look at Italian calculating/computing machines from the first century to the 20th century. The 22 papers cover a wide range of computing related topics such as specific early computer systems, their construction, their use and their users, software programming and operating systems, people involved in the theory, design and use of these computers, computer education, and conservation of computing technology. "

"This festschrift volume, published in honor of Bernd Krämer on the occasion of his 65th birthday, contains 11 contributions by close scientific companions. Covering topics like Petri nets and theoretical computer science, software and service engineering, cloud computing, and e-learning, the articles presented span the range of the scientific work of Bernd Krämer."

"Tuttavia, l’analisi di sicurezza di questi schemi crittografici (fino ai primi anni ‘80) era soprattutto guidata dall’intuito e dall’esperienza. Nuovi schemi venivano ideati e, dopo qualche tempo, inevitabilmente, un nuovo attacco alla sicurezza veniva scoperto. Il paradigma della “sicurezza dimostrabile” ha trasformato la crittografia da arte a scienza, introducendo un paradigma for male per l’analisi di sicurezza dei crittosistemi: in questo modo è possibile fornire una dimostrazione matematica che un dato sistema è sicuro rispetto ad una classe generale di attaccanti. Tanto più vasta e vicina alla realtà è que sta classe, tanto più forti sono le garanzie offerte dal crittosistema analizzato."