3420 search results - page 147 / 684 » A Language-Based Approach to Security |
143
click to vote
IJNSEC
2008
15 years 4 months ago
2008
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE)...
206
click to vote
TMC
2012
13 years 6 months ago
2012
— While many protocols for sensor network security provide confidentiality for the content of messages, contextual information usually remains exposed. Such information can be c...
114
click to vote
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. This article highlights the language EURIS from NS Railinfrabeheer, ...
115
click to vote
JCS
2002
15 years 3 months ago
2002
Vulnerability analysis is concerned with the problem of identifying weaknesses in computer systems that can be exploited to compromise their security. In this paper we describe a ...
114
click to vote
DISCEX
2003
IEEE
15 years 9 months ago
2003
IEEE
The design principle of restricting local autonomy only where necessary for global robustness has led to a scalable Internet. Unfortunately, this scalability and capacity for dist...