1106 search results - page 220 / 222 » Automated Design of Security Protocols |
134
Voted
VEE
2009
ACM
15 years 10 months ago
2009
ACM
Runtime monitoring support serves as a foundation for the important tasks of providing security, performing debugging, and improving performance of applications. Often runtime mon...
116
click to vote
SIGCOMM
2009
ACM
15 years 9 months ago
2009
ACM
This paper describes a new architecture which addresses Quality of Service (QoS) by creating unique flows for applications, services, or subnets. A flow is a dedicated and indep...
120
click to vote
FM
2005
Springer
15 years 8 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
154
click to vote
INFOCOM
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract— Optimizing TCP (Transport Layer) for mobility has been researched extensively. We present a brief summary of existing results which indicates that most schemes require ...
133
click to vote
EUROCRYPT
1990
Springer
15 years 7 months ago
1990
Springer
We describe results from an apparatus and protocol designed to implement quantum key distribution, by which two users, who share no secret information initially: 1) exchange a ran...