249 search results - page 5 / 50 » Validating a Web Service Security Abstraction by Typing |
PKC
1999
Springer
13 years 12 months ago
1999
Springer
With the development of high speed computer networks, video service on the Web has huge market potential in that the video service can be provided to subscribers with greater time ...
PDPTA
2004
13 years 9 months ago
2004
Abstract-- Service descriptions based on type hiernd abstract service states ruling the availability of operations permit more secure service combinations in distributed systems de...
ECOOPW
1999
Springer
13 years 12 months ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...
FC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this usability study of phishing attacks and browser antiphishing defenses, 27 users each classified 12 web sites as fraudulent or legitimate. By dividing these users...
IEEEHPCS
2010
13 years 6 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...