3420 search results - page 101 / 684 » A Language-Based Approach to Security |
144
Voted
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techni...
125
Voted
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
Security design patterns have been proposed recently as a tool for the improvement of software security during the architecture and design phases. Since the apperance of this rese...
127
Voted
ASWEC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes an approach of defining systemslevel security properties of component-based composite systems. It argues that the security properties of a composite system ca...
111
click to vote
ICITA
2005
IEEE
15 years 9 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...
104
click to vote
CLUSTER
2002
IEEE
15 years 8 months ago
2002
IEEE
Traditionally, the telecom industry has used clusters to meet its carrier-class requirements of high availability, reliability, and scalability, while relying on cost-effective ha...