289 search results - page 14 / 58 » Automating Checking of Models Built Using a Graphically Base... |
159
Voted
SACMAT
2009
ACM
15 years 8 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
125
Voted
IJIT
2004
15 years 3 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
141
Voted
FORTE
2003
15 years 3 months ago
2003
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
135
click to vote
NGITS
1999
Springer
15 years 6 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
120
click to vote
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...