249 search results - page 30 / 50 » Validating a Web Service Security Abstraction by Typing |
ISPEC
2007
Springer
14 years 1 months ago
2007
Springer
Denial of Service (DoS) attacks are a virulent type of attack on the availability of networks’ intended services and resources. Defense against DoS attacks has been built into th...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
ICWS
2003
IEEE
13 years 9 months ago
2003
IEEE
Abstract Providing network infrastructure for authentication, authorization and accounting (AAA) functionalities required by inter-enterprise business applications operating over t...
EUROSYS
2009
ACM
14 years 4 months ago
2009
ACM
Some web sites provide interactive extensions using browser scripts, often without inspecting the scripts to verify that they are benign and bug-free. Others handle users’ con...
CASCON
2003
13 years 9 months ago
2003
Electronic commerce servers have a significant presence in today’s Internet. Corporations require good performance for their business processes. To date, little empirical evide...