2838 search results - page 342 / 568 » Verifying Controlled Components |
111
Voted
ICFEM
2003
Springer
15 years 6 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
ACSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
Almost thirty years ago a vulnerability assessment of Multics identified significant vulnerabilities, despite the fact that Multics was more secure than other contemporary (and cu...
DATE
2002
IEEE
15 years 5 months ago
2002
IEEE
In this paper, we analyze the use of UML as a starting point to go from design issues to end of production testing of complex embedded systems. The first point is the analysis of ...
167
Voted
INFOCOM
2002
IEEE
15 years 5 months ago
2002
IEEE
IEEE 802.11 Medium Access Control(MAC) is proposed to support asynchronous and time bounded delivery of radio data packets in infrastructure and ad hoc networks. The basis of the I...
117
Voted
NDSS
2002
IEEE
15 years 5 months ago
2002
IEEE
In this paper we present PAMINA (Privilege Administration and Management INfrAstructure), a privilege management system using authorization certificates. Our system supports distr...