1186 search results - page 97 / 238 » A New Approach to Secure Logging |
153
click to vote
COMPSEC
2010
15 years 4 months ago
2010
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
147
click to vote
IJNSEC
2006
15 years 4 months ago
2006
On a wired network, physical authentication is implicitly provided by access: if a user is able to plug a cable into a network socket, he must have cleared other security checks s...
123
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Group-Centric Secure Information Sharing (g-SIS) is motivated by the need to dynamically share information amongst a set of authorized users for a specific purpose. Authorized ...
157
click to vote
JOC
2011
14 years 11 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
133
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
In recent years role-based access control (RBAC) has been spreading within organizations. However, companies still have considerable difficulty migrating to this model, due to the...