Formal aspects of security : first International Conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers

>> Google Books

所蔵情報QRコード

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.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c2003

形態:

x, 238 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2629 <BA00009279>

著者名:

ISBN:

9783540206934 [3540206930]

書誌ID:

BA65231432

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references and index

主題:

Computer security--Congresses; Formal methods (Computer science)--Congresses

言語:

英語

目次情報:

Keynote Talk

Lifting Reference Monitors from the Kernel / F.B. Schneider

Invited Talks I

Authenticity Types for Cryptographic Protocols / A. Gordon

Verifying the SET Protocol: Overview / L.C. Paulson

Protocol Verification

Interacting State Machines: A Stateful Approach to Proving Security / D. von Oheimb

Automatic Approximation for the Verification of Cryptographic Protocols / F. Oehl ; G. Cece ; O. Kouchnarenko ; D. Sinclair

Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis / C. Boyd ; K. Viswanathan

Invited Talks II

Critical Critical Systems / S. Stepney

Analysing Security Protocols / D. Gollmann

Analysis of Protocols

Analysis of Probabilistic Contract Signing / G. Norman ; V. Shmatikov

Security Analysis of (Un-) Fair Non-repudiation Protocols / S. Gurgens ; C. Rudolph

Modeling Adversaries in a Logic for Security Protocol Analysis / J.Y. Halpern ; R. Pucella

Security Modelling and Reasonning

Secure Self-certified Code for Java / M. Debbabi ; J. Desharnais ; M. Fourati ; E. Menif ; F. Painchaud ; N. Tawbi

Z Styles for Security Properties and Modern User Interfaces / A. Hall

Invited Talks III

Cryptographic Challenges: The Past and the Future / B. Preneel

TAPS: The Last Few Slides / E. Cohen

Intrusion Detection Systems and Liveness

Formal Specification for Fast Automatic IDS Training / A. Durante ; R. Di Pietro ; L.V. Mancini

Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area / G.T. Rohrmair ; G. Lowe

Revisiting Liveness Properties in the Context of Secure Systems / F.C. Gartner

Author Index

Keynote Talk

Lifting Reference Monitors from the Kernel / F.B. Schneider

Invited Talks I

Authenticity Types for Cryptographic Protocols / A. Gordon

Verifying the SET Protocol: Overview / L.C. Paulson

Protocol Verification

続きを見る

ブックレビュー

類似資料:

1 電子ブック Formal Aspects of Security : First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers Abdallah, Ali E., Ryan, Peter., Schneider, Steve., SpringerLink (Online service)	7 電子ブック Formal Aspects in Security and Trust Dimitrakos, Theo, Kanade, Takeo, Martinelli, Fabio, Ryan, Peter Y. A., Schneider, Steve Springer eBooks Computer Science, Springer Berlin Heidelberg
2 電子ブック Formal Aspects of Security FASec 2002, Abdallah, Ali E., Ryan, Peter, Schneider, Steve A. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Formal Aspects in Security and Trust Dimitrakos, Theo, Kanade, Takeo, Martinelli, Fabio, Ryan, Peter Y. A., Schneider, Steve SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
3 図書 Formal aspects in security and trust : Third International Workshop, FAST 2005 : Newcastle upon Tyne, UK, July 18-19, 2005 : revised selected papers FAST, Dimitrakos, Theo, Martinelli, F. (Fabio), Ryan, Peter Y.A., Schneider, Steve Springer	9 電子ブック Formal Aspects in Security and Trust Dimitrakos, Theo, Kanade, Takeo, Martinelli, Fabio, Ryan, Peter Y. A., Schneider, Steve SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 図書 Formal aspects in security and trust : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, … Workshop on Formal Aspects in Security and Trust, Dimitrakos, Theo, Martinelli, F. (Fabio), IFIP World Computer Congress Springer	10 図書 Integrated formal methods : third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings International Conference on Integrated Formal Methods, Butler, Michael, Petre, Luigia, Sere, K. (Kaisa), 1954- Springer
5 図書 4th ACM workshop on Formal Methods in Security Engineering, FMSE '06 : held in conjunction with the 13th ACM Conference on Comnputer Communications Security : … ACM Workshop on Formal Methods in Security Engineering, ACM Conference on Computer and Communications Security, … Association for Computing Machiner, Printed from e-media with permission by Curran Associates	11 図書 Security protocols : 10th International Workshop, Cambridge, UK, April 17-19, 2002 : revised papers International Workshop on Security Protocols, Christianson, Bruce, Crispo, Bruno, Malcolm, James A., Roe, Michael Springer
6 電子ブック Formal Aspects in Security and Trust Dimitrakos, Theo, Kanade, Takeo, Martinelli, Fabio, Ryan, Peter Y. A., Schneider, Steve Springer eBooks Computer Science, Springer Berlin / Heidelberg	12 図書 Cryptographic hardware and embedded systems - CHES 2002 : 4th International Workshop, Redwood Shores, CA, USA, August 13-15, 2002 : revised papers CHES, Kaliski, Burton S., 1964-, Koç, Çetin K., 1957-, Paar, Christof, 1963- Springer