5475 search results - page 313 / 1095 » Model Driven Security |
211
click to vote
CCS
2005
ACM
16 years 6 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
191
click to vote
ASIASIM
2004
Springer
16 years 2 days ago
2004
Springer
A network security simulator becomes more useful for the study on the cyber incidents and their defense mechanisms, as cyber terrors have been increasingly popular. Until now, netw...
158
click to vote
IEEEARES
2010
IEEE
16 years 19 sec ago
2010
IEEE
—Deploying a security policy may prove difficult whenever the system does not embed all necessary security functionalities. Some specific functionalities are required to accura...
163
click to vote
APSEC
2003
IEEE
15 years 12 months ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
179
click to vote
EUROCRYPT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...