Library of American University of Madaba

Normal View MARC View ISBD View

Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers / Ali E. Abdallah, Peter Ryan, Steve Schneider (eds.). - New York : Springer, 2003. - x, 238 p. : ill. ; 25 cm. - Lecture notes in computer science ; 2629 .

Includes bibliographical references and index.

ISBN: 3540206930 (softcover : alk. paper) 9783540206934

Subjects--Topical Terms:
Computer security--Congresses.
Formal methods (Computer science)--Congresses.

Dewey Class. No.: 005.8 / F723