Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009306199/catalog> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- catalog abstract "Preface Formal Aspects of Security (FASec) was held at Royal Holloway, University of London, 18–20 December 2002. The occasion celebrated a Jubilee, namely the 25thanniversaryoftheestablishmentofBCS-FACS,theFormalAspectsofC- puting Science specialist group of the British Computer Society. FASec is one of a series of events organized by BCS-FACS to highlight the use of formal me- ods, emphasize their relevance to modern computing, and promote their wider application. As the architecture model of information systems evolves from - connected PCs,throughintranet (LAN) and internet (WAN), to mobile internet and grids, security becomes increasingly critical to all walks of society: c- merce, ?nance, health, transport, defence and science. It is no surprise therefore that security is one of the fastest-growing research areas in computer science. Theaudience ofFASec includes thosein the formalmethods community who have(orwouldliketodevelop)adeeper interestinsecurity,andthoseinsecurity who would like to understand how formal methods can make important cont- butions to some aspects of security. The scope of FASec is deliberately broad andcoverstopics that rangefrommodelling securityrequirementsthroughsp- i?cation, analysis, and veri?cations of cryptographic protocols to certi?ed code. The discussions at FASec 2002 encompassed many aspects of security: from theoretical foundations through support tools and on to applications. Formal methods has made a substantial contribution to this exciting ?eld in the past.".
- catalog contributor b13137188.
- catalog contributor b13137189.
- catalog contributor b13137190.
- catalog contributor b13137191.
- catalog created "2004.".
- catalog date "2004".
- catalog date "2004.".
- catalog dateCopyrighted "2004.".
- catalog description "Includes bibliographical references and index.".
- catalog description "Lifting Reference Monitors from the Kernel / F.B. Schneider -- Authenticity Types for Cryptographic Protocols / A. Gordon -- Verifying the SET Protocol: Overview / L.C. Paulson -- Interacting State Machines: A Stateful Approach to Proving Security / D. von Oheimb.".
- catalog description "Preface Formal Aspects of Security (FASec) was held at Royal Holloway, University of London, 18–20 December 2002. The occasion celebrated a Jubilee, namely the 25thanniversaryoftheestablishmentofBCS-FACS,theFormalAspectsofC- puting Science specialist group of the British Computer Society. FASec is one of a series of events organized by BCS-FACS to highlight the use of formal me- ods, emphasize their relevance to modern computing, and promote their wider application. As the architecture model of information systems evolves from - connected PCs,throughintranet (LAN) and internet (WAN), to mobile internet and grids, security becomes increasingly critical to all walks of society: c- merce, ?nance, health, transport, defence and science. It is no surprise therefore that security is one of the fastest-growing research areas in computer science. Theaudience ofFASec includes thosein the formalmethods community who have(orwouldliketodevelop)adeeper interestinsecurity,andthoseinsecurity who would like to understand how formal methods can make important cont- butions to some aspects of security. The scope of FASec is deliberately broad andcoverstopics that rangefrommodelling securityrequirementsthroughsp- i?cation, analysis, and veri?cations of cryptographic protocols to certi?ed code. The discussions at FASec 2002 encompassed many aspects of security: from theoretical foundations through support tools and on to applications. Formal methods has made a substantial contribution to this exciting ?eld in the past.".
- catalog extent "x, 238 p. :".
- catalog identifier "3540206930 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 2629".
- catalog issued "2004".
- catalog issued "2004.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.8 22".
- catalog subject "Computer Communication Networks.".
- catalog subject "Computer science.".
- catalog subject "Computer security Congresses.".
- catalog subject "Data encryption (Computer science).".
- catalog subject "Formal methods (Computer science) Congresses.".
- catalog subject "Information Systems.".
- catalog subject "Operating systems (Computers).".
- catalog subject "QA76.9.A25 F35 2002".
- catalog subject "Software engineering.".
- catalog tableOfContents "Lifting Reference Monitors from the Kernel / F.B. Schneider -- Authenticity Types for Cryptographic Protocols / A. Gordon -- Verifying the SET Protocol: Overview / L.C. Paulson -- Interacting State Machines: A Stateful Approach to Proving Security / D. von Oheimb.".
- catalog title "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.).".
- catalog type "Conference proceedings. fast".
- catalog type "text".