2270 search results - page 309 / 454 » Modelling Secure IT Systems - A Survey |
152
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
139
click to vote
IEEEARES
2008
IEEE
15 years 11 months ago
2008
IEEE
—Enterprise computing is moving towards more open, collaborative systems. Joining a business network must be made efficient, despite the technical and semantic interoperability ...
130
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
Collaboration among organizations or individuals is common. While these participants are often unwilling to share all their information with each other, some information sharing i...
131
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
We show that there is a direct relation between the maximum length of the keys extracted from biometric data and the error rates of the biometric system. The length of the bio-key...
135
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Programming distributed data-intensive web and mobile applications is gratuitously hard. As the world is moving more and more towards the software as services model, we have to co...