3318 search results - page 315 / 664 » The Weak Instance Model |
129
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
148
click to vote
GPCE
2007
Springer
15 years 11 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
145
Voted
ISW
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We study the provable security of identity-based (ID-based) key agreement protocols. Although several published protocols have been proven secure in the random oracle mod...
156
Voted
SSS
2007
Springer
15 years 11 months ago
2007
Springer
We present a modular redesign of TrustedPals, a smartcard-based security framework for solving secure multiparty computation (SMC)[?]. TrustedPals allows to reduce SMC to the probl...
146
Voted
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
In the mobile environment, weak consistency replication of shared data is the key to obtaining high data availability, good access performance, and good scalability. Therefore new...