554 search results - page 12 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
ECOOP
2005
Springer
15 years 3 months ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
91
Voted
SOFSEM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
FC
2010
Springer
15 years 23 days ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
IEEEARES
2010
IEEE
15 years 4 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
FTDCS
2004
IEEE
15 years 1 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...