5488 search results - page 64 / 1098 » On the Secure Implementation of Security Protocols |
ISI
2007
Springer
15 years 6 months ago
2007
Springer
— Surveillance is an important task for guaranteeing the security of individuals. Being able to intelligently monitor the activity in given spaces is essential to achieve such su...
111
click to vote
CANS
2006
Springer
15 years 3 months ago
2006
Springer
Pairings on elliptic curves have been used as cryptographic primitives for the development of new applications such as identity based schemes. For the practical applications, it is...
FC
2007
Springer
15 years 6 months ago
2007
Springer
Setting up security associations between end-user devices is a challenging task when it needs to be done by ordinary users. The increasing popularity of powerful personal electroni...
115
click to vote
ESORICS
1994
Springer
15 years 3 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
105
click to vote
IEEESCC
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper introduces SOAR, a service-oriented architecture for the real-estate industry that embeds trust and security, allows for formal correctness proofs of service interactio...