3420 search results - page 142 / 684 » A Language-Based Approach to Security |
125
Voted
ICIW
2009
IEEE
15 years 10 months ago
2009
IEEE
When considering Web services’ (WS) use for online business-to-business (B2B) collaboration between companies, security is a complicated and very topical issue. This is especial...
135
Voted
IEEEARES
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a secure e-commerce architecture that is resistant to client compromise and man-in-the-middle attacks on SSL. To this end, we propose several security protocols that us...
132
click to vote
COLCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—Dynamic scripting languages such as Ruby provide language features that enable developers to express their intent more rapidly and with fewer expressions. Organizations started ...
129
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
132
Voted
TCC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...