Advances in Computer Science - ASIAN 2007. Computer and Network Security: 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, ... Notes in Computer Science, 4846, Band 4846) - Softcover

Softcover

ISBN 10: 3540769277 ISBN 13: 9783540769279

Verlag: Springer, 2007

Inhaltsangabe

This book constitutes the refereed proceedings of the 12th Asian Computing Science Conference, ASIAN 2007, held in Doha, Qatar, in December 2007. Covering all current aspects of computer and network security, the papers are organized in topical sections on program security, computer security, access control, protocols, intrusion detection, network security, and safe execution.

Über diesen Titel

Über die Autorin bzw. den Autor

Iliano Cervesato is an Associate Professor of Computer Science at the Qatar campus of Carnegie Mellon University, where he teaches principles of programming languages, logic and computer security. He has held appointments at Carnegie Mellon University in Pittsburgh, where he performed his doctoral work, Stanford University, Princeton University, and Tulane University. He also worked for ITT Industries at the Naval Research Laboratory. Before moving to Qatar, he was the founder and chief research scientist of Deductive Solutions in Annandale, Virginia. His research interests encompass computational logic, programming languages, computer security, and user productivity applications. He holds a B.S. in computer science from the University of Udine in Italy; an M.S. in computer science from the University of Houston in the US; and a Ph.D. in computer science from the University of Torino in Italy. Dr. Cervesato has over 15 years of experience in computational logic and in various aspects of the design, analysis, and implementation of programming languages. He also has over a decade of research and development experience in computer security, notably cryptographic protocol analysis and the foundations of computer security. His expertise and contributions are internationally recognized. He has published over 100 articles on the above topics. He has been the program chair or general chair of several international scientific conferences.

Von der hinteren Coverseite

This book constitutes the refereed proceedings of the 12th Asian Computing Science Conference, ASIAN 2007, held in Doha, Qatar, in December 2007. Covering all current aspects of computer and network security, the papers are organized in topical sections on program security, computer security, access control, protocols, intrusion detection, network security, and safe execution.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2007
• Sprache: Englisch
• ISBN 10: 3540769277
• ISBN 13: 9783540769279
• Einband: Taschenbuch
• Anzahl der Seiten: 327
• Herausgeber: Cervesato Iliano
• Kontakt zum Hersteller: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Deutschland