123 search results - page 23 / 25 » Secure implementations of typed channel abstractions |
EUROSYS
2007
ACM
14 years 3 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
HPDC
2003
IEEE
13 years 11 months ago
2003
IEEE
Increasingly, scalable distributed applications are being constructed by integrating reusable components spanning multiple administrative domains. Dynamic composition and deployme...
INFOCOM
2003
IEEE
13 years 11 months ago
2003
IEEE
Abstract— The term Virtual Private Network (VPN) encompasses a wide array of diverse technologies and network architectures. All VPNs should provide users with the isolation and ...
ER
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
SERVICES
2010
13 years 7 months ago
2010
Abstract--Conducting valid comparative evaluations of techniques in the field of Music Information Retrieval (MIR) presents particular challenges to MIR researchers due to issues o...