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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540007081, 9783540365327

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Security for Whom? The Shifting Security Assumptions of Pervasive Computing

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

10.1007/3-540-36532-x_2 ◽

2003 ◽

pp. 16-27 ◽

Cited By ~ 9

Author(s):

Frank Stajano

Keyword(s):

Pervasive Computing

Download Full-text

Design and Implementation of Security System Based on Immune System

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

10.1007/3-540-36532-x_15 ◽

2003 ◽

pp. 234-248 ◽

Cited By ~ 3

Author(s):

Hiroyuki Nishiyama ◽

Fumio Mizoguchi

Keyword(s):

Immune System ◽

Security System ◽

Design And Implementation

Download Full-text

CafeOBJ as a Tool for Behavioral System Verification

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

10.1007/3-540-36532-x_26 ◽

2003 ◽

pp. 461-470 ◽

Cited By ~ 3

Author(s):

Akira Mori ◽

Kokichi Futatsugi

Keyword(s):

Behavioral System ◽

System Verification

Download Full-text

A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic

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

10.1007/3-540-36532-x_24 ◽

2003 ◽

pp. 417-440 ◽

Cited By ~ 2

Author(s):

Koji Hasebe ◽

Mitsuhiro Okada

Keyword(s):

Linear Logic ◽

Security Protocols ◽

Ban Logic ◽

Verification Method

Download Full-text

SoftwarePot: An Encapsulated Transferable File System for Secure Software Circulation

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

10.1007/3-540-36532-x_8 ◽

2003 ◽

pp. 112-132 ◽

Cited By ~ 11

Author(s):

Kazuhiko Kato ◽

Yoshihiro Oyama

Keyword(s):

File System ◽

Secure Software

Download Full-text

Hiding Names: Private Authentication in the Applied Pi Calculus

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

10.1007/3-540-36532-x_20 ◽

2003 ◽

pp. 317-338 ◽

Cited By ~ 18

Author(s):

Cédric Fournet ◽

Martín Abadi

Keyword(s):

Pi Calculus

Download Full-text

Formalization and Verification of a Mail Server in Coq

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

10.1007/3-540-36532-x_14 ◽

2003 ◽

pp. 217-233 ◽

Cited By ~ 6

Author(s):

Reynald Affeldt ◽

Naoki Kobayashi

Keyword(s):

Mail Server

Download Full-text

Proof-Carrying Code with Untrusted Proof Rules

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

10.1007/3-540-36532-x_18 ◽

2003 ◽

pp. 283-298 ◽

Cited By ~ 3

Author(s):

George C. Necula ◽

Robert R. Schneck

Keyword(s):

Proof Rules

Download Full-text

Negotiated Privacy

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

10.1007/3-540-36532-x_7 ◽

2003 ◽

pp. 96-111 ◽

Cited By ~ 3

Author(s):

Stanislaw Jarecki ◽

Patrick Lincoln ◽

Vitaly Shmatikov

Download Full-text

Verification of Authentication Protocols Based on the Binding Relation

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

10.1007/3-540-36532-x_19 ◽

2003 ◽

pp. 299-316 ◽

Cited By ~ 2

Author(s):

Masami Hagiya ◽

Ryo Takemura ◽

Koichi Takahashi ◽

Takamichi Saito

Keyword(s):

Authentication Protocols

Download Full-text

Software Security — Theories and Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Security for Whom? The Shifting Security Assumptions of Pervasive Computing

Design and Implementation of Security System Based on Immune System

CafeOBJ as a Tool for Behavioral System Verification

A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic

SoftwarePot: An Encapsulated Transferable File System for Secure Software Circulation

Hiding Names: Private Authentication in the Applied Pi Calculus

Formalization and Verification of a Mail Server in Coq

Proof-Carrying Code with Untrusted Proof Rules

Negotiated Privacy

Verification of Authentication Protocols Based on the Binding Relation

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