529 search results - page 66 / 106 » Source Address Validation: Architecture and Protocol Design |
198
click to vote
DLS
2009
14 years 11 months ago
2009
Ruby is a popular, dynamic scripting language that aims to "feel natural to programmers"and give users the"freedom to choose" among many different ways of doin...
133
click to vote
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
135
click to vote
EUROMICRO
2005
IEEE
15 years 7 months ago
2005
IEEE
Service Oriented Architectures and Web Services are emerging technologies, which have overall inherited problems and advantages from the component-based approach, but exacerbated ...
105
click to vote
COMPSAC
2010
IEEE
14 years 11 months ago
2010
IEEE
Web services and service-oriented architecture (SOA) have become the de facto standard for designing distributed and loosely coupled applications. Many servicebased applications de...
121
click to vote
TAICPART
2006
IEEE
15 years 7 months ago
2006
IEEE
The design of complex systems, e.g., telecom services, is nowadays usually based on the integration of components (COTS), loosely coupled in distributed architectures. When compon...