3811 search results - page 124 / 763 » The Safe-Tcl Security Model |
121
click to vote
FSKD
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we develop a security design metric that can be used at system design time to build more secure systems. This metric is based on the system-wide approach and adopt a...
135
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
We address the insecurity problem for cryptographic protocols, for an active intruder and a bounded number of sessions. The protocol steps are modeled as rigid Horn clauses, and t...
166
click to vote
IJNSEC
2010
14 years 11 months ago
2010
Undeniable signatures were proposed to limit the public verification property of ordinary digital signature. In fact, the verification of such signatures cannot be obtained withou...
140
Voted
APSCC
2009
IEEE
15 years 11 months ago
2009
IEEE
SOA have been deployed as a mean to offer a better flexibility, to increase efficiency through reuse of services and also to improve interoperability by providing new opportunit...
137
click to vote
COLCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
—Dynamic scripting languages such as Ruby provide language features that enable developers to express their intent more rapidly and with fewer expressions. Organizations started ...