3811 search results - page 287 / 763 » The Safe-Tcl Security Model |
198
Voted
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
164
click to vote
WSC
2004
15 years 8 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...
169
click to vote
DCC
2005
IEEE
16 years 6 months ago
2005
IEEE
Signcryption [35] is a public key primitive that achieves the functionality of both an encryption scheme and a signature scheme simultaneously. It does this more efficiently than a...
174
click to vote
CRYPTO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We show that only languages in BPP have public-coin, blackbox zero-knowledge protocols that are secure under an unbounded (polynomial) number of parallel repetitions. Thi...
206
click to vote
ISI
2007
Springer
16 years 25 days ago
2007
Springer
Abstract— Community discovery has drawn significant research interests among researchers from many disciplines for its increasing application in multiple, disparate areas, inclu...