423 search results - page 39 / 85 » Formal access control analysis in the software development p... |
ASPLOS
2006
ACM
14 years 2 months ago
2006
ACM
Modern cars contain a multitude of micro controllers for a wide area of tasks. The diversity of the heterogeneous hardware and software leads to a complicated and expensive integr...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
SACMAT
2003
ACM
14 years 2 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...
CCS
2010
ACM
13 years 9 months ago
2010
ACM
Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...
SCM
1998
13 years 10 months ago
1998
Abstract. An SCM database contains data which can be used as input for Software Metrics. Both data for Size-Oriented Metrics, and information for ProcessOriented Metrics are availa...