3811 search results - page 64 / 763 » The Safe-Tcl Security Model |
GAMESEC
2010
14 years 10 months ago
2010
Abstract. Even the most well-motivated models of information security have application limitations due to the inherent uncertainties involving risk. This paper exemplifies a formal...
117
click to vote
SIN
2009
ACM
15 years 6 months ago
2009
ACM
Security managers often regard human behaviour as a security liability, but they should accommodate it within their organisation’s information security management procedures. To...
140
click to vote
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
MM
2004
ACM
2004
ACM
SMARXO: towards secured multimedia applications by adopting RBAC, XML and object-relational database
15 years 5 months ago
In this paper, a framework named SMARXO is proposed to address the security issues in multimedia applications by adopting RBAC (Role-Based Access Control), XML, and ObjectRelation...
ESORICS
2004
Springer
15 years 5 months ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...