4511 search results - page 182 / 903 » Observation Based System Security |
138
click to vote
USS
2008
15 years 8 months ago
2008
A major class of network emulation testbeds is based on the Utah Emulab design: a local cluster of experimental nodes interconnected through Ethernet switches using VLANs. The VLA...
180
click to vote
RBAC
1997
15 years 7 months ago
1997
Role Based Access Control is only a subset of the security management and distributed systems management. Yet, the characteristics and use of the role objects in RBAC or Role Base...
183
click to vote
CSFW
2006
IEEE
16 years 18 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
136
click to vote
PPDP
2005
Springer
16 years 14 hour ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
176
click to vote
MAS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspec...