1210 search results - page 124 / 242 » Secure Logic Synthesis |
147
Voted
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Securely accessing unfamiliar services in public environments using ad hoc wireless networks is challenging. We present a proxy-based approach that uses other existing network cha...
124
Voted
FSKD
2005
Springer
15 years 9 months ago
2005
Springer
The business environment is full of uncertainties. Investing in various asset classes may lower the risk of overall portfolio and increase the potential for greater returns. In thi...
133
Voted
CSFW
2003
IEEE
15 years 9 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
139
Voted
CADE
2009
Springer
16 years 4 months ago
2009
Springer
In the symbolic analysis of security protocols, two classical notions of knowledge, deducibility and indistinguishability, yield corresponding decision problems. We propose a proce...
148
Voted
OZCHI
2006
ACM
15 years 9 months ago
2006
ACM
Federated identity management is often viewed by corporations as a solution to support secure online commerce by synthesising complex and fragmented user information into a single...