Formal Aspects of Security

>> Google Books

Formal Aspects of Security / FASec 2002, Ali E. Abdallah, Peter Ryan, Steve A. Schneider

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 2003

著者名:

ISBN:

9783540206934 [3540206930]
9783540409816 [3540409815]

書誌ID:

OB00494031

子書誌情報

フルテキスト

所蔵情報

書誌詳細

その他の標題:

FIRST INTERNATIONAL CONFERENCE, FASEC 2002, LONDON, UK, DECEMBER 16-18, 2002, REVISED PAPERS

言語:

英語

目次情報:

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 FASec, Abdallah, Ali E., 1957-, Ryan, Peter, 1957-, Schneider, S. A. (Steve A.) Springer	7 図書 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
2 電子ブック 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)	8 電子ブック Computer Security – ESORICS 2019 Sako, Ryan, Peter Y. A., Schneider, Steve SpringerLink Books - AutoHoldings, Springer International Publishing
3 電子ブック 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	9 電子ブック Computer Security – ESORICS 2019 Sako, Ryan, Peter Y. A., Schneider, Steve SpringerLink Books - AutoHoldings, Springer International Publishing
4 電子ブック 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	10 電子ブック Integrated Formal Methods Polikarpova, Schneider, Steve SpringerLink Books - AutoHoldings, Springer International Publishing
5 電子ブック Formal Aspects in Security and Trust Dimitrakos, Theo, Kanade, Takeo, Martinelli, Fabio, Ryan, Peter Y. A., Schneider, Steve SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	11 電子ブック Information Security Chen, Mark Manulis, Steve Schneider, Manulis, Mark, Schneider, Steve SpringerLink Books - AutoHoldings, Springer International Publishing
6 電子ブック Formal Aspects in Security and Trust Dimitrakos, Theo, Kanade, Takeo, Martinelli, Fabio, Ryan, Peter Y. A., Schneider, Steve SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック ZB 2005: Formal Specification and Development in Z and B Treharne, Helen, Henson, Martin, Kanade, Takeo, King, Steve, Schneider, Steve Springer eBooks Computer Science, Springer Berlin / Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12