5475 search results - page 228 / 1095 » Model Driven Security |
174
click to vote
SAC
2002
ACM
15 years 5 months ago
2002
ACM
Avoidance and discovery of security vulnerabilities in information systems requires awareness of typical risks and a good understanding of vulnerabilities and their exploitations....
160
click to vote
ACNS
2008
Springer
15 years 12 months ago
2008
Springer
Abstract. In order to increase the security for authenticated key exchange protocols, various authentication means can be used together. In this paper, we introduce a security mode...
200
click to vote
SAM
2004
15 years 6 months ago
2004
We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...
154
Voted
CCS
2006
ACM
15 years 9 months ago
2006
ACM
The central goal of secure information sharing is to "share but protect" where the motivation to "protect" is to safeguard the sensitive content from unauthori...
151
click to vote
ENTCS
2008
15 years 5 months ago
2008
It has been claimed by many in the graph transformation community that model transformation, as understood in the context of Model Driven Architecture, can be seen as an applicati...