CNSR
2010
IEEE
13 years 7 months ago
2010
IEEE
In the past few years the security issues in the supervisory control and data acquisition (SCADA) system have been investigated, and many security mechanisms have been proposed fro...
CSFW
1998
IEEE
13 years 8 months ago
1998
IEEE
In security protocol analysis, it is important to learn general principles that limit the abilities of an attacker, and that can be applied repeatedly to a variety of protocols. W...
CSFW
2000
IEEE
13 years 9 months ago
2000
IEEE
A type flaw attack on a security protocol is an attack where a field that was originally intended to have one type is subsequently interpreted as having another type. A number o...
ICFEM
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
AWIC
2003
Springer
13 years 9 months ago
2003
Springer
This paper describes a practical solution for the incorporation of security services in agents. From a set of basic user requirements, the agents will be able to find out the best ...
TPHOL
2003
IEEE
13 years 9 months ago
2003
IEEE
Abstract. A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of cla...
LPAR
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...
PEWASUN
2005
ACM
13 years 10 months ago
2005
ACM
Inherent to the wireless sensor networks are the two major problems of the broadcasting vulnerability, the limited computational capability and power budget. Even though security ...
MSWIM
2005
ACM
13 years 10 months ago
2005
ACM
Motivated by the tradeoff between security and efficiency performance parameters that has been imposed on all modern wireless security protocols, we designed a novel security syst...
ICITA
2005
IEEE
13 years 10 months ago
2005
IEEE
Security protocols are indispensable in secure communication. We give an operational semantics of security protocols in terms of a Prolog-like language. With this semantics, we ca...