Very Good: Cover and pages show some wear from reading and storage. May have light creases on the cover and binding. Bookseller Inventory #
Synopsis: This proceedings volume from the July 2000 workshop for researchers in computer security covers a variety of theories and models of security, techniques for verifying security, and new developments in the field. Presentation topics include: optimizing protocol rewrite rules of CIL specifications, an
Title: Proceedings 13th IEEE Computer Security ...
Book Condition: VERY GOOD
Book Description I.E.E.E.Press, 2000. Book Condition: Good. This book has soft covers. Ex-library, With usual stamps and markings, In good all round condition. Bookseller Inventory # 4256049