2043 search results - page 155 / 409 » Reasoning About Security Models |
104
click to vote
CLIMA
2010
15 years 2 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
83
Voted
EPART
2011
14 years 17 days ago
2011
Abstract. The Structured Online Consultation tool (SCT) is a component tool in the IMPACT Project which is used to construct and present detailed surveys that solicit feedback from...
104
Voted
IJNSEC
2007
15 years 22 days ago
2007
To hide data in credentials is a key problem in information security. In this paper, a summary of the work on data hiding-capacity is made and several communication channel models...
139
Voted
TES
2001
Springer
15 years 5 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
125
Voted
CCS
2009
ACM
15 years 7 months ago
2009
ACM
Network information distribution is a fundamental service for any anonymization network. Even though anonymization and information distribution about the network are two orthogona...