5475 search results - page 146 / 1095 » Model Driven Security |
111
Voted
ECSA
2010
Springer
15 years 1 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...
92
Voted
GG
2004
Springer
15 years 6 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...
109
click to vote
COMPSAC
2000
IEEE
15 years 5 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...
137
click to vote
ACSAC
1996
IEEE
15 years 5 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...
130
click to vote
CVPR
2009
IEEE
16 years 8 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...