3811 search results - page 75 / 763 » The Safe-Tcl Security Model |
102
click to vote
SIMULATION
2010
14 years 6 months ago
2010
We introduce and describe a novel network simulation tool called NeSSi (Network Security Simulator). NeSSi incorporates a variety of features relevant to network security distingu...
101
click to vote
CSFW
2012
IEEE
13 years 2 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
INAP
2001
Springer
15 years 4 months ago
2001
Springer
Three different security models have been advocated to determine the access rights to documents in a network of computers; DAC, MLS, and RBAC. Each of these models has its strengt...
CSFW
2005
IEEE
15 years 5 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
TCC
2005
Springer
15 years 5 months ago
2005
Springer
Definition of security under the framework of Environmental Security (a.k.a Network-Aware Security or Universally Composable Security) typically requires “extractability” of t...