3811 search results - page 49 / 763 » The Safe-Tcl Security Model |
166
Voted
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper combines an analysis of data on security vulnerabilities (published in Bugtraq database) and a focused source-code examination to develop a finite state machine (FSM) m...
124
click to vote
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Online email archives are an under-protected yet extremely sensitive information resource. Email archives can store years worth of personal and business email in an easy-to-access...
112
Voted
ACSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
—Access control models describe frameworks that dictate how subjects (e.g. users) access resources. In the Role-Based Access Control (RBAC) model access to resources is based on ...
126
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
137
click to vote
SAFECOMP
2007
Springer
15 years 10 months ago
2007
Springer
In existing security model-checkers the intruder’s behavior is defined as a message deducibility rule base governing use of eavesdropped information, with the aim to find out a m...