1970 search results - page 93 / 394 » Security Without Firewalls |
122
Voted
ETRICS
2006
15 years 9 months ago
2006
Abstract. We provide a static analysis (using both dataflow analysis and theorem proving) to allow state changes within specifications. This can be used for specification languages...
170
Voted
CISC
2007
Springer
16 years 7 days ago
2007
Springer
We formalize a generic method of constructing efficient group signatures, specifically, we define new notions of unlinkable randomizable signature, indirectly signable signature ...
151
click to vote
PROVSEC
2010
Springer
15 years 4 months ago
2010
Springer
Zero-knowledge identification schemes solve the problem of authenticating one party to another via an insecure channel without disclosing any additional information that might be u...
359
click to vote
VLDB
2006
ACM
16 years 6 months ago
2006
ACM
k-anonymity provides a measure of privacy protection by preventing re-identification of data to fewer than a group of k data items. While algorithms exist for producing k-anonymous...
152
click to vote
ICASSP
2009
IEEE
16 years 24 days ago
2009
IEEE
Without any assumption on the cover source, this paper presents a complete characterization of all perfectly secure stego-systems that employ mutually independent embedding operat...