2270 search results - page 208 / 454 » Modelling Secure IT Systems - A Survey |
130
click to vote
SAFECOMP
1998
Springer
15 years 7 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
106
click to vote
CCS
2009
ACM
16 years 4 months ago
2009
ACM
Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take accou...
140
Voted
SP
2003
IEEE
15 years 9 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
158
click to vote
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
The existence of on-line social networks that include person specific information creates interesting opportunities for various applications ranging from marketing to community o...
135
Voted
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
Some "non-' or "extra-functional" features, such as reliability, security, and tracing, defy modularization mechanisms in programming languages. This makes suc...