352 search results - page 50 / 71 » Adaptively Secure Multi-Party Computation |
ECUMN
2007
Springer
14 years 2 months ago
2007
Springer
Context-based access control is an emerging approach for modeling adaptive solution, making access control management more flexible and powerful. But in the ubiquitous environment...
TYPES
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
INDOCRYPT
2003
Springer
14 years 1 months ago
2003
Springer
A solution for obtaining impartial random values in on-line gambling is presented in this paper. Unlike most previous proposals, our method does not require any TTP and allows e-ga...
CONCUR
2000
Springer
14 years 5 days ago
2000
Springer
We add an operation of group creation to the typed π-calculus, where a group is a type for channels. Creation of fresh groups has the effect of statically preventing certain com...
SOFTCOMP
2010
13 years 6 months ago
2010
Abstract This paper presents an extension of MOVICAB-IDS, a Hybrid Intelligent Intrusion Detection System characterized by incorporating temporal control to enable real-time proces...