3420 search results - page 248 / 684 » A Language-Based Approach to Security |
122
click to vote
CAISE
2006
Springer
15 years 9 months ago
2006
Springer
This paper explains how goal-oriented requirements engineering can be transposed into regulation modelling. It motivates also why this way of modelling regulations is worthwhile fo...
162
click to vote
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
114
click to vote
SERVICES
2010
15 years 6 months ago
2010
In this paper, we propose an approach based on Formal Concept Analysis in order to organize the services registry at runtime and to allow the "best" service selection am...
139
click to vote
STOC
2005
ACM
16 years 5 months ago
2005
ACM
In the setting of secure multiparty computation, a set of parties wish to to jointly compute some function of their input (i.e., they wish to securely carry out some distributed t...
123
click to vote
SOUPS
2006
ACM
15 years 11 months ago
2006
ACM
The focus of our approach to the usability considerations of privacy and security has been on providing people with information they can use to understand the implications of thei...