202 search results - page 22 / 41 » Composing and decomposing systems under security properties |
CCS
2009
ACM
14 years 18 days ago
2009
ACM
Users have begun downloading an increasingly large number of mobile phone applications in response to advancements in handsets and wireless networks. The increased number of appli...
IWSEC
2007
Springer
14 years 2 months ago
2007
Springer
Anonymity is considered as a valuable property as far as everyday transactions in the Internet are concerned. Users care about their privacy and they seek for new ways to keep sec...
ESORICS
2005
Springer
14 years 2 months ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...
DATE
1999
IEEE
14 years 28 days ago
1999
IEEE
In this paper, we present a system synthesis algorithm, called MOCSYN, which partitions and schedules embedded system specifications to intellectual property cores in an integrate...
CSFW
2010
IEEE
14 years 7 days ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...