461 search results - page 65 / 93 » Developing security protocols by refinement |
183
click to vote
PADL
2012
Springer
14 years 1 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
185
click to vote
CISS
2010
IEEE
14 years 9 months ago
2010
IEEE
—Distributed transmit beamforming has recently been proposed as a technique in which several single-antenna sources cooperate to form a virtual antenna array and simultaneously t...
166
click to vote
TRUST
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. Virtual Private Networks are a popular mechanism for building complex network infrastructures. Such infrastructures are usually accompanied by strict administrative restr...
149
click to vote
IWCMC
2006
ACM
15 years 12 months ago
2006
ACM
The DNS Security Extensions (DNSSEC) were developed to add origin authentication and integrity. DNSSEC defined a public key infrastructure over DNS tree hierarchy for the public ...
182
click to vote
TRIDENTCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
The Internet enables the way how global businesses and communities communicate today. In the last years, however, new demands have collided with old designs, resulting in a complex...