3115 search results - page 170 / 623 » Synthesizing Secure Protocols |
114
click to vote
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
146
click to vote
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
In this work we develop a secure communication protocol in the context of a Remote Meter Reading (RMR) System. We first analyze existing standards in secure communication (e.g. IP...
163
click to vote
ICPPW
2003
IEEE
15 years 9 months ago
2003
IEEE
The mobile ad hoc network (MANET), which is characterized by an infrastructureless architecture and multi-hop communication, has attracted a lot of attention recently. In the evol...
131
Voted
EUROCRYPT
2007
Springer
15 years 7 months ago
2007
Springer
Essentially all work studying the round complexity of secure computation assumes broadcast as an atomic primitive. Protocols constructed under this assumption tend to have very poo...
138
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The third generation partnership project (3GPP) has addressed the feasibility of interworking and specified the interworking architecture and security architecture for third gener...