Lecture Notes in Computer Science - Software Security - Theories and Systems
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540236351, 9783540376217

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Model for Delimited Information Release

Lecture Notes in Computer Science - Software Security - Theories and Systems ◽

10.1007/978-3-540-37621-7_9 ◽

2004 ◽

pp. 174-191 ◽

Author(s):

Andrei Sabelfeld ◽

Andrew C. Myers

Keyword(s):

Information Release

Download Full-text

A Formal System for Analysis of Cryptographic Encryption and Their Security Properties

Lecture Notes in Computer Science - Software Security - Theories and Systems ◽

10.1007/978-3-540-37621-7_5 ◽

2004 ◽

pp. 87-112 ◽

Author(s):

Ashraf Bhery ◽

Shigeki Hagihara ◽

Naoki Yonezaki

Keyword(s):

Formal System ◽

Security Properties

Download Full-text

Inferences on Honesty in Compositional Logic for Protocol Analysis

Lecture Notes in Computer Science - Software Security - Theories and Systems ◽

10.1007/978-3-540-37621-7_4 ◽

2004 ◽

pp. 65-86 ◽

Author(s):

Koji Hasebe ◽

Mitsuhiro Okada

Keyword(s):

Protocol Analysis ◽

Compositional Logic

Download Full-text

A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack

Lecture Notes in Computer Science - Software Security - Theories and Systems ◽

10.1007/978-3-540-37621-7_2 ◽

2004 ◽

pp. 25-44 ◽

Author(s):

Daigo Tomioka ◽

Shin-ya Nishizaki ◽

Ritsuya Ikeda

Keyword(s):

Cost Estimation ◽

Denial Of Service ◽

Denial Of Service Attack ◽

Download Full-text

SEAS: A Secure E-Voting Applet System

Lecture Notes in Computer Science - Software Security - Theories and Systems ◽

10.1007/978-3-540-37621-7_17 ◽

2004 ◽

pp. 318-329 ◽

Author(s):

Fabrizio Baiardi ◽

Alessandro Falleni ◽

Riccardo Granchi ◽

Fabio Martinelli ◽

Marinella Petrocchi ◽

...

Download Full-text

Detecting Unknown Computer Viruses – A New Approach –

Lecture Notes in Computer Science - Software Security - Theories and Systems ◽

10.1007/978-3-540-37621-7_12 ◽

2004 ◽

pp. 226-241 ◽

Author(s):

Akira Mori

Keyword(s):

New Approach ◽

Computer Viruses

Download Full-text

Formal Analysis of the NetBill Electronic Commerce Protocol

Lecture Notes in Computer Science - Software Security - Theories and Systems ◽

10.1007/978-3-540-37621-7_3 ◽

2004 ◽

pp. 45-64 ◽

Author(s):

Kazuhiro Ogata ◽

Kokichi Futatsugi

Keyword(s):

Electronic Commerce ◽

Formal Analysis

Download Full-text

Decision Procedures for Several Properties of Reactive System Specifications

Lecture Notes in Computer Science - Software Security - Theories and Systems ◽

10.1007/978-3-540-37621-7_8 ◽

2004 ◽

pp. 154-173 ◽

Author(s):

Noriaki Yoshiura

Keyword(s):

Decision Procedures ◽

Reactive System

Download Full-text

Formal Specification and Verification of Resource Bound Security Using PVS

Lecture Notes in Computer Science - Software Security - Theories and Systems ◽

10.1007/978-3-540-37621-7_6 ◽

2004 ◽

pp. 113-133

Author(s):

Weijiang Yu ◽

Aloysius K. Mok

Keyword(s):

Formal Specification ◽

Formal Specification And Verification ◽

Specification And Verification ◽

Download Full-text

Managing Information Technology Security Risk

Lecture Notes in Computer Science - Software Security - Theories and Systems ◽

10.1007/978-3-540-37621-7_16 ◽

2004 ◽

pp. 296-317 ◽

Author(s):

David P. Gilliam

Keyword(s):

Information Technology ◽

Security Risk ◽

Information Technology Security

Download Full-text