1288 search results - page 129 / 258 » Securing aspect composition |
SACMAT
2010
ACM
14 years 3 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
POLICY
2001
Springer
14 years 2 months ago
2001
Springer
IPSec (Internet Security Protocol Suite) functions will be executed correctly only if its policies are correctly specified and configured. Manual IPSec policy configuration is inef...
CSFW
2004
IEEE
14 years 2 months ago
2004
IEEE
In many systems, items of information have owners associated with them. An owner of an item of information may want the system to enforce a policy that restricts use of that infor...
CCS
2008
ACM
14 years 11 days ago
2008
ACM
Privacy concerns relating to sharing network traces have traditionally been handled via sanitization, which includes removal of sensitive data and IP address anonymization. We arg...
ISSA
2004
13 years 11 months ago
2004
E-commerce is a rapidly expanding sector all over the world. While this is apparently good news to the world's consumers and business companies, it is creating big challenges...