423 search results - page 39 / 85 » Formal access control analysis in the software development p... |
ASPLOS
2006
ACM
15 years 5 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
15 years 6 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
15 years 5 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...
128
click to vote
CCS
2010
ACM
15 years 16 hour 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
15 years 1 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...