1186 search results - page 97 / 238 » A New Approach to Secure Logging |
124
Voted
COMPSEC
2010
15 years 22 days 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...
123
Voted
IJNSEC
2006
15 years 19 days 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...
CSE
2009
IEEE
15 years 7 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 ...
131
Voted
JOC
2011
14 years 7 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...
104
Voted
SAC
2008
ACM
15 years 3 days 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...