5475 search results - page 146 / 1095 » Model Driven Security |
135
click to vote
ECSA
2010
Springer
15 years 3 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
117
click to vote
GG
2004
Springer
15 years 8 months ago
2004
Springer
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these g...
133
click to vote
COMPSAC
2000
IEEE
15 years 7 months ago
2000
IEEE
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
156
click to vote
ACSAC
1996
IEEE
15 years 7 months ago
1996
IEEE
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...
148
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
Oriented patterns, e.g. fingerprints, consist of smoothly
varying flow-like patterns, together with important singular
points (i.e. cores and deltas) where the orientation change...