Institutional Repository

Browsing by Author "Hazelhurst, S"

Browsing by Author "Hazelhurst, S"

Sort by: Order: Results:

  • Binary decision diagram representations of firewall and router access lists 
    Hazelhurst, S; Fatti, A; Henwood, A (1998)
    The growth of network and internet communication creates several challenges for network design. Two important issues are security and performance. As the volume of communication increases together with the importance of ...
  • Generalised unification of finite temporal logic formulas 
    Hazelhurst, S (South African Computer Society (SAICSIT), 1999)
    Given two temporal logic formulas, g and h, we wish to know whether there is a modification, m, we can make to h so that g ==> m( h). This problem has important applications in hardware verification, where finding such ...
  • Introducing research methods to Computer Science honours students 
    Galpin, V; Hazelhurst, S; Mueller, C; Sanders, I (South African Computer Society (SAICSIT), 1999)
    Research skills are important for any academic and can be of great benefit to any professional person. These skills are, however, difficult to teach and to learn. In the Department of Computer Science at the University ...
  • A Linda solution to the evolving philosophers problem 
    Hazelhurst, SE (South African Institute of Computer Scientists and Information Technologists, 1991)
    The dining philosophers problem and the evolving philosophers problems are abstractions of resource sharing problems in parallel and distributed systems. A Linda solution to the dining problem has already been shown; this ...
  • Model checking software with symbolic trajectory evaluation 
    Hazelhurst, S (1997)
    Traditional methods of testing computer systems, although valuable, are inadequate for ensuring sufficiently high quality in systems in which a high degree of reliability must be placed. Formal methods for development of ...
  • A proposal for dynamic access lists for TCP/IP packet filtering 
    Hazelhurst, S (2001)
    The use of IP filtering to improve system security is well established, and although limited in what it can achieve has proved to be efficient and effective. In the design of a security policy there is always a trade-off ...

Search UnisaIR

Browse

My Account