1771 search results - page 94 / 355 » An Aspect-Oriented Security Framework |
165
click to vote
IEEEARES
2010
IEEE
16 years 1 months ago
2010
IEEE
—Recently Java annotations have received a lot of attention as a possible way to simplify the usage of various frameworks, ranging from persistence and verification to security....
169
click to vote
LPAR
2005
Springer
15 years 12 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...
168
click to vote
ECOWS
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a framework providing integrity and authentication for secure workflow computation based on BPEL Web Service orchestration. We address a recent cryptogra...
165
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Ad-hoc networks are perceived as communities of autonomous devices that interconnect with each other. Typically, they have dynamic topologies and cannot rely on a continuous conne...
160
click to vote
SOFSEM
2005
Springer
15 years 12 months ago
2005
Springer
Motivated by a potentially flawed deployment of the one time pad in a recent quantum cryptographic application securing a bank transfer [12], we show how to implement a statistica...