verification in white papers
Using Independent Auditors as Intrusion Detection Systems
White Paper A novel way to overcome this problem is the use of an independent auditor, which uses an out-of-band verification process that does not depend on the underlying operating system. A basic method in computer security is to perform integrity checks on... [30 Jun 2008]
High Availability Cluster Multiprocessing Best Practices
White Paper With this flexibility comes the responsibility to make wise choices: there are many cluster configurations that are workable in the sense that the cluster will pass verification and come on line, but which are not optimum in terms of providing... [31 May 2008]
TechNet Webcast: Using SMS 2003 Software Update Management Features - Level 300
White Paper This webcast discusses the SMS 2003 software update management process, and demonstrates the entire process from installation of this feature to verification that the distributed patch was deployed successfully. [02 May 2008]
TechNet Webcast: Using the Inventory Tool for Microsoft Updates (Level 200)
White Paper The webcast will include an enlightening exposition of the end-to-end process to use the Inventory Tool for Microsoft Updates, from installation to update installation verification. Is there any difference between the client scanning between... [01 May 2008]
Jump-Start Business Activity Monitoring (BAM), Part 2: Install and Configure IBM WebSphere Business Monitor V6.0.2 - Basic Installation and Simple Model Deployment
White Paper One also goes through the Launchpad steps, installation verification, model installation, and the model configuration. In this paper, one will install and configure a basic IBM WebSphere Business Monitor V6.0.2 deployment. [26 Apr 2008]
Jump-Start Business Activity Monitoring (BAM), Part 3: Install and Configure IBM WebSphere Business Monitor V6.0.2 in a Network Deployment Environment - Advanced Installation and Network Deployment
White Paper Walk through the steps for pre-installation, Launchpad, installation verification, model installation, and model configuration. In this paper, one installs and configures an advanced IBM WebSphere Business Monitor V6.0.2 deployment in a network... [26 Apr 2008]
Design and Implementation of Firewall Policy Advisor Tools
White Paper This paper present a set of techniques and algorithms that provide automatic anomaly detection for discovering rule conflicts and potential problems in legacy firewalls, anomaly-free policy editing for rule insertion, modification and removal, and... [24 Apr 2008]
Formal Verification of Firewall Policies
White Paper This paper proposes a firewall verification tool in this paper. Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. The quality of protection provided by a firewall directly... [16 Apr 2008]
Telecom Broadband: Digital Processor for SDH Radio Link
White Paper Accent's design services covered the FPGA implementation (from the Implementation Specification to the bit-file delivery) and the system level verification (FPGA top-level simulations and support to the Customer during the laboratory test activity). [10 Apr 2008]
Exploration Games for Safety-Critical System Design With UML 2.0
White Paper Critical systems on the other hand are usually specified very precisely and frequently require formal verification. UML has its origin in mainstream software engineering and is often used informally by software designers. [10 Apr 2008]
Formalizing UML Models and OCL Constraints in PVS
White Paper This defines a formal semantics for both UML and OCL, and enables the formal verification of systems modeled in UML. The Object Constraint Language (OCL) is the established language for the specification of properties of objects and object... [10 Apr 2008]
Put New Capabilities of Business Activity Monitoring (BAM) to Work, Part 2: WebSphere Business Monitor 6.1 Installation Improvements
White Paper Installation is now consistent with the WebSphere family of products, from the Welcome page in the Launchpad, to the Business Monitor installation wizard, the Profile Management Tool, and the installation verification tool in the First Steps. [09 Apr 2008]
Vulnerability Management and Policy Compliance Overview
White Paper Verification Take a multimedia tour of QualysGuard, the Web-based Vulnerability Management and Policy Compliance solution that pinpoints network vulnerabilities before hackers have a chance to exploit them. [31 Mar 2008]
Improved User-Experience, Ad-Revenue, and Brand Image With Automated Verification and Validation of All Websites for Australia's No.1 Interactive Media Company
White Paper Ninemsn is Australia's number-one interactive media company with annual revenue of about AUD 100 million. The proposed automated validation tool was innovative, and therefore its architecture and design was challenging. [27 Mar 2008]
TechNet Webcast: Microsoft Office 2003 Deployment With Systems Management Server 2003 - Level 200
White Paper In this webcast, learn how deploying Microsoft Office 2003 with Systems Management Server (SMS) 2003 can be achieved easily and with a sense of control, reducing costs while providing a rich deployment verification system through customized reports. [27 Mar 2008]
Keep updated for stories matching verification in white papers via RSS
