Lecture Notes in Computer Science - Advances in Computer Science – ASIAN 2007. Computer and Network Security
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540769279

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Secure Verification of Location Claims with Simultaneous Distance Modification

Lecture Notes in Computer Science - Advances in Computer Science – ASIAN 2007. Computer and Network Security ◽

10.1007/978-3-540-76929-3_17 ◽

2007 ◽

pp. 181-195 ◽

Author(s):

Vitaly Shmatikov ◽

Ming-Hsiu Wang

Download Full-text

A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols

Lecture Notes in Computer Science - Advances in Computer Science – ASIAN 2007. Computer and Network Security ◽

10.1007/978-3-540-76929-3_15 ◽

2007 ◽

pp. 150-165 ◽

Author(s):

Han Gao ◽

Chiara Bodei ◽

Pierpaolo Degano ◽

Hanne Riis Nielson

Keyword(s):

Formal Analysis ◽

Cryptographic Protocols ◽

Download Full-text

Static vs Dynamic Typing for Access Control in Pi-Calculus

Lecture Notes in Computer Science - Advances in Computer Science – ASIAN 2007. Computer and Network Security ◽

10.1007/978-3-540-76929-3_27 ◽

2007 ◽

pp. 282-296

Author(s):

Michele Bugliesi ◽

Damiano Macedonio ◽

Sabina Rossi

Keyword(s):

Access Control ◽

Pi Calculus ◽

Download Full-text

Computational Semantics for Basic Protocol Logic – A Stochastic Approach

Lecture Notes in Computer Science - Advances in Computer Science – ASIAN 2007. Computer and Network Security ◽

10.1007/978-3-540-76929-3_10 ◽

2007 ◽

pp. 86-94 ◽

Author(s):

Gergei Bana ◽

Koji Hasebe ◽

Mitsuhiro Okada

Keyword(s):

Stochastic Approach ◽

Computational Semantics ◽

Basic Protocol ◽

Download Full-text

Large Scale Simulation of Tor:

Lecture Notes in Computer Science - Advances in Computer Science – ASIAN 2007. Computer and Network Security ◽

10.1007/978-3-540-76929-3_5 ◽

2007 ◽

pp. 48-54 ◽

Author(s):

Gavin O’Gorman ◽

Stephen Blott

Keyword(s):

Large Scale ◽

Large Scale Simulation

Download Full-text

An Integrated Model for Access Control and Information Flow Requirements

Lecture Notes in Computer Science - Advances in Computer Science – ASIAN 2007. Computer and Network Security ◽

10.1007/978-3-540-76929-3_12 ◽

2007 ◽

pp. 111-125 ◽

Author(s):

Samiha Ayed ◽

Nora Cuppens-Boulahia ◽

Frédéric Cuppens

Keyword(s):

Access Control ◽

Information Flow ◽

Integrated Model

Download Full-text

Empirical Study of the Impact of Metasploit-Related Attacks in 4 Years of Attack Traces

Lecture Notes in Computer Science - Advances in Computer Science – ASIAN 2007. Computer and Network Security ◽

10.1007/978-3-540-76929-3_19 ◽

2007 ◽

pp. 198-211 ◽

Author(s):

E. Ramirez-Silva ◽

M. Dacier

Keyword(s):

Empirical Study ◽

Download Full-text

A Static Birthmark of Binary Executables Based on API Call Structure

Lecture Notes in Computer Science - Advances in Computer Science – ASIAN 2007. Computer and Network Security ◽

10.1007/978-3-540-76929-3_2 ◽

2007 ◽

pp. 2-16 ◽

Author(s):

Seokwoo Choi ◽

Heewan Park ◽

Hyun-il Lim ◽

Taisook Han

Keyword(s):

Download Full-text

One-Time Receiver Address in IPv6 for Protecting Unlinkability

Lecture Notes in Computer Science - Advances in Computer Science – ASIAN 2007. Computer and Network Security ◽

10.1007/978-3-540-76929-3_22 ◽

2007 ◽

pp. 240-246 ◽

Author(s):

Atsushi Sakurai ◽

Takashi Minohara ◽

Ryota Sato ◽

Keisuke Mizutani

Download Full-text

A Sandbox with a Dynamic Policy Based on Execution Contexts of Applications

Lecture Notes in Computer Science - Advances in Computer Science – ASIAN 2007. Computer and Network Security ◽

10.1007/978-3-540-76929-3_28 ◽

2007 ◽

pp. 297-311 ◽

Author(s):

Tomohiro Shioya ◽

Yoshihiro Oyama ◽

Hideya Iwasaki

Keyword(s):

Download Full-text