742 search results - page 104 / 149 » XML and web services security |
APLAS
2010
ACM
13 years 11 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...
CMS
2003
14 years 17 days ago
2003
Classic security systems use a trust model centered in the authentication procedure, which depends on a naming service. Even when using a Public Key Infrastructure as X.509, such s...
DOCENG
2003
ACM
14 years 4 months ago
2003
ACM
Product data exchange is the precondition of business interoperation between Web-based firms. However, millions of small and medium sized enterprises (SMEs) encode their Web produ...
NCA
2006
IEEE
14 years 5 months ago
2006
IEEE
A Grid system is a Virtual Organization that is composed of several autonomous domains. Authorization in such a system needs to be flexible and scalable to support multiple securi...
OOPSLA
2007
Springer
14 years 5 months ago
2007
Springer
Programming distributed data-intensive web and mobile applications is gratuitously hard. As the world is moving more and more towards the software as services model, we have to co...