spi
RSS spiGenerating Network Security Protocol Implementations From Formal Specifications
White Paper Implemented in Prolog, Spi2Java can input a formal security protocol specification in a variation of the Spi Calculus, and generate a Java code implementation of that protocol. This paper describes the Spi2Java code... [19 Sep 2008]
Common Gigabit Ethernet Interfaces for HLT and L1-Trigger Links of LHCb
White Paper Interfaced via the 100 MHz industry SPI- 3 bus, a Medium Access Controller (MAC) on the mezzanine transmits IPv4 packets which originate from the FPGA and directs these towards 2 or 4 physical GBE links according to the... [11 Sep 2008]
The Hacker You Didn't See
White Paper This webcast examines the concept of hacking. [02 Sep 2008]
Pattern-Matching SPI-Calculus
White Paper This paper presents the pattern-matching spi-calculus, which is an obvious extension of the spi-calculus to include pattern-matching as primitive. Cryptographic protocols often make use of nested... [03 Jul 2008]
S.P.I. Dynamics' WebInspect for QA and Mercury WinRunner
White Paper The S.P.I. Dynamics' WebInspect and Mercury WinRunner integration allows you to leverage existing WinRunner scripts to conduct automated security testing. By incorporating security testing early in the application lifecycle, you can... [03 Jul 2008]
WebInspect White Paper
White Paper A technical and business case for Web application security products and how WebInspect addresses a growing and significant Internet security need. WebInspect Scanner is security software that protects online organizations against... [03 Jul 2008]
HP close to buying EDS for $12bn
News In recent years, HP has also been spending big on corporate infrastructure software companies, including the acquisitions of Mercury Interactive, Opsware, SPI Dynamics, Bristol Technology, and Peregrine. [13 May 2008]
Serial Technology Delivers 100+ Gbps of Inter-Chip Bandwidth for Next-Generation Networking Equipment
White Paper It preserves the capabilities of SPI-4.2 with multiple logical channels and back-pressure information, while eliminating its bandwidth ceiling and drastically curtailing its associated pin-count cost. [17 Nov 2007]
HP Software Business Technology Optimization Go to Market With SPI Dynamics
White Paper In this webcast the presenter will cover HP's acquisition of SPI Dynamics, a leading provider of web application security assessment software and services. With the addition of SPI Dynamics, HP Software... [15 Nov 2007]
Simplify and Integrate Your Application Infrastructure Management
White Paper This webcast on the value of managing application infrastructure using HP Operations Smart Plug-in (SPI) and HP SiteScope solution templates give answer to these questions. How healthy are the business-critical... [15 Nov 2007]
The New Nastel HP Software Smart Plug-In (SPI) for Websphere MQ
White Paper This webcast introduces the HP-certified Nastel Smart Plug-In (SPI) for WebSphere MQ. [06 Jun 2007]
Adobe PDF flaw 'more serious than first thought'
News Now it has been discovered that miscreants could exploit the problem to access all information on a victim's hard drive, said web security specialists at SPI Dynamics and WhiteHat Security. Billy Hoffman, lead engineer... [05 Jan 2007]
Authenticity by Typing for Security Protocols
White Paper First, code up the protocol in the spi-calculus of Abadi and Gordon. Fourth, check that the spi-calculus code is well-typed according to a novel type and effect system presented in this paper. The main... [09 Dec 2006]
SPI Invests in Real-Time Traceability to Optimize Warehouse Management
White Paper SPI specializes in agro-food industrial packaging, offering product-processing centers that incorporate flow and warehouse management functions. SPI wanted to create an automated information system to... [07 Dec 2006]
Yahoo! dating site has security issues
News Sacha Faust, a senior research engineer at SPI Dynamics, a computer security firm in Atlanta, said: "It requires a fair amount of time and work until you actually get into those accounts. SPI Dynamics'... [21 Dec 2005]
