5488 search results - page 253 / 1098 » On the Secure Implementation of Security Protocols |
164
click to vote
PST
2008
15 years 8 months ago
2008
In this paper, we propose an approach for systematic security hardening of software based on aspect-oriented programming and Gimple language. We also present the first steps towar...
190
click to vote
JUCS
2008
15 years 6 months ago
2008
: In a secure roaming scenario, a user U travels to a foreign network and communicates with a foreign server V securely so that no one other than U and V can obtain the messages ex...
197
click to vote
SP
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
170
click to vote
IJACTAICIT
2010
15 years 3 months ago
2010
In the e-age, internet and e-affairs are the composite blend of business process and technology; the organization must retain the state of computing system or risk malicious assau...
215
click to vote
SCN
2010
Springer
15 years 4 months ago
2010
Springer
Serge Vaudenay [20] introduced a notion of Message Authentication (MA) protocols in the Short Authenticated String (SAS) model. A SAS-MA protocol authenticates arbitrarily long mes...