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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 10

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 ◽

Cited By ~ 7

Author(s):

Han Gao ◽

Chiara Bodei ◽

Pierpaolo Degano ◽

Hanne Riis Nielson

Keyword(s):

Formal Analysis ◽

Cryptographic Protocols ◽

Replay Attacks

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 ◽

Cited By ~ 3

Author(s):

Atsushi Sakurai ◽

Takashi Minohara ◽

Ryota Sato ◽

Keisuke Mizutani

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 5

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 ◽

Cited By ~ 4

Author(s):

E. Ramirez-Silva ◽

M. Dacier

Keyword(s):

Empirical Study ◽

The Impact

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 ◽

Cited By ~ 9

Author(s):

Seokwoo Choi ◽

Heewan Park ◽

Hyun-il Lim ◽

Taisook Han

Keyword(s):

Call Structure

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 ◽

Dynamic Typing

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 ◽

Cited By ~ 1

Author(s):

Gergei Bana ◽

Koji Hasebe ◽

Mitsuhiro Okada

Keyword(s):

Stochastic Approach ◽

Computational Semantics ◽

Basic Protocol ◽

Protocol Logic

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 ◽

Cited By ~ 1

Author(s):

Tomohiro Shioya ◽

Yoshihiro Oyama ◽

Hideya Iwasaki

Keyword(s):

Dynamic Policy

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Secure Verification of Location Claims with Simultaneous Distance Modification

A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols

One-Time Receiver Address in IPv6 for Protecting Unlinkability

Large Scale Simulation of Tor:

An Integrated Model for Access Control and Information Flow Requirements

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

A Static Birthmark of Binary Executables Based on API Call Structure

Static vs Dynamic Typing for Access Control in Pi-Calculus

Computational Semantics for Basic Protocol Logic – A Stochastic Approach

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
Latest Publications