5475 search results - page 10 / 1095 » Model Driven Security |
BDIM
2007
IEEE
14 years 4 months ago
2007
IEEE
— Corporate decision makers have normally been disconnected from the details of the security management infrastructures of their organizations. The management of security resourc...
SACRYPT
2007
Springer
14 years 3 months ago
2007
Springer
Cache attacks on implementations of cryptographic algorithms have turned out to be very powerful. Progress in processor design, e.g., like hyperthreading, requires to adapt models ...
ICSE
1999
IEEE-ACM
14 years 2 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
DAWAK
2009
Springer
13 years 7 months ago
2009
Springer
Data Warehouses (DW) manage crucial enterprise information used for the decision making process which has to be protected from unauthorized accesses. However, security constraints ...
IEEEARES
2009
IEEE
14 years 4 months ago
2009
IEEE