3420 search results - page 130 / 684 » A Language-Based Approach to Security |
151
click to vote
WER
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes a method for requirements elicitation based on goals for electronic commerce systems in agreement with security and privacy polices of the site. The method in...
156
click to vote
HPDC
2003
IEEE
15 years 9 months ago
2003
IEEE
Grid computing is concerned with the sharing and coordinated use of diverse resources in distributed "virtual organizations.” The dynamic and multi-institutional nature of ...
131
click to vote
ISCC
2000
IEEE
15 years 8 months ago
2000
IEEE
Mirror sites approach has been proposed recently for reducing the access delay and providing load balancing in network servers. In the mirror site approach a file, such as a multi...
153
click to vote
DEBS
2010
ACM
15 years 4 months ago
2010
ACM
The provisioning of basic security mechanisms such as authentication and confidentiality is highly challenging in a content-based publish/subscribe system. Authentication of publi...
155
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...