1875 search results - page 276 / 375 » Modeling the Security of Steganographic Systems |
SUTC
2006
IEEE
15 years 6 months ago
2006
IEEE
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...
115
Voted
CC
2003
Springer
15 years 5 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
98
Voted
APLAS
2004
ACM
15 years 4 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
131
click to vote
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
138
click to vote
SUM
2010
Springer
14 years 10 months ago
2010
Springer
CCTV and sensor based surveillance systems are part of our daily lives now in this modern society due to the advances in telecommunications technology and the demand for better sec...