5475 search results - page 1057 / 1095 » Model Driven Security |
101
Voted
FAC
2010
14 years 11 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
124
Voted
KES
2008
Springer
14 years 11 months ago
2008
Springer
Privacy is one of the most important properties of an information system must satisfy. In which systems the need to share information among different, not trusted entities, the pro...
148
click to vote
ITNG
2010
IEEE
14 years 11 months ago
2010
IEEE
—The increase in computational power of off-the-shelf hardware offers more and more advantageous tradeoffs among efficiency, cost and availability, thus enhancing the feasibil...
131
Voted
SEKE
2010
Springer
14 years 11 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
99
Voted
TIFS
2010
14 years 11 months ago
2010
This paper presents a novel method for detection of steganographic methods that embed in the spatial domain by adding a low-amplitude independent stego signal, an example of which...