7766 search results - page 134 / 1554 » Testing Nondeterminate Systems |
FATES
2003
Springer
14 years 2 months ago
2003
Springer
A key aspect of the Object-Oriented (OO) approach is that a designer can enrich an OO system by providing suitable (re-)definitions for some of the methods of the given system. A...
WSC
2004
13 years 10 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...
GLOBECOM
2008
IEEE
13 years 9 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
ICST
2008
IEEE
14 years 3 months ago
2008
IEEE
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...
AICCSA
2005
IEEE
14 years 2 months ago
2005
IEEE
—In the current research, we present an operation framework and protection mechanism to facilitate secure environment to protect mobile agents against tampering. The system depen...