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

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

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

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

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

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

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

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

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

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

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