262 search results - page 1 / 53 » MONA Implementation Secrets |
WIA
2000
Springer
13 years 8 months ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...
USENIX
2001
13 years 6 months ago
2001
A conventional file system provides the user with generic structure and semantics for accessing files. The default scheme is sufficient for many applications. However, many applic...
CORR
2002
Springer
13 years 4 months ago
2002
Springer
: In the paper we propose general framework for Automatic Secret Generation and Sharing (ASGS) that should be independent of underlying secret sharing scheme. ASGS allows to preven...
WONS
2012
IEEE
12 years 3 days ago
2012
IEEE
—The IEEE 802.15.4 standard specifies an M-ary spread spectrum system with public and fixed spreading sequences. We propose instead to use secret and dynamic, random spreading ...
SAC
2010
ACM
13 years 9 months ago
2010
ACM
In this paper we present the first framework that allows the creation of Secret Interest Groups (SIGs) in Online Social Networks; SIGs are self managed groups formed outside of t...