3420 search results - page 189 / 684 » A Language-Based Approach to Security |
122
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
Defence trees and CP-net (ceteris paribus network) are two useful approaches that can be used to help a system administrator to analyze a security scenario and to give him a model ...
125
click to vote
WECWIS
2005
IEEE
15 years 10 months ago
2005
IEEE
A zero-knowledge proof (ZKP) is an interactive proof that allows a prover to prove the knowledge of a secret to a verifier without revealing it. ZKPs are powerful tools to deal wi...
138
click to vote
EPEW
2005
Springer
15 years 10 months ago
2005
Springer
We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from ...
141
click to vote
FM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
129
click to vote
ICCSA
2005
Springer
15 years 10 months ago
2005
Springer
There are standard risk analysis methodologies like GMITS and ISO17799, but new threats and vulnerabilities appear day by day because the IT organizations, its infrastructure, and ...