Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Theory of Security and Applications (formely known as ARSPA-WITS), TOSCA 2011, held in Saarbrücken, Germany, in March/April 2011, in association with ETAPS 2011. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 24 submissions. The papers feature topics including various methods in computer security, including the formal specification, analysis and design of security protocols and their applications, the formal definition of various aspects of security such as access control mechanisms, mobile code security and denial-of-service attacks, and the modeling of information flow and its application."

"Problems and defects of all kinds arise in the development and use of mechanical devices, electrical equipment, hydraulic systems, transportation mechanisms and the like. However, an extremely wide range of nondestructive testing (NDT) methods are available to help you examine these different problems and various defects in an assortment of materials under varying circumstances. It is imperative that you select the best method to solve a particular problem. And that requires a sufficient understanding of the basic processes involved to realize the advantages of each NDT method available.In addition to practical hints and pertinent comments for the resolution of day to day problems, this book will give you sufficient basic theory to comprehend the principles of each method so that the most appropriate can be selected and used to its fullest advantage. Typical illustrative calculations and a comprehensive bibliography are provided.This book will be particularly useful to advanced technicians involved with high level III NDT training, engineers concerned with quality control, general scientists and technologists dealing with materials problems but who are not NDT specialists, and engineering students taking a course in NDT."

"This book constitutes the refereed proceedings of the 4th International Workshop on the Arithmetic of Finite Field, WAIFI 2012, held in Bochum, Germany, in July 2012. The 13 revised full papers and 4 invited talks presented were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on coding theory and code-based cryptography, Boolean functions, finite field arithmetic, equations and functions, and polynomial factorization and permutation polynomial."