Previous
A Verifying Compiler for a Multi-Threaded Object-Oriented Language
White Papers This paper describes the program-verifier component of a verifying compiler for a core multi-threaded object-oriented language. The paper also builds a methodology for writing and verifying single- and multi-threaded code with object invariants...
[May 31, 2007, 1:00]
Project 25 Compliance Assessment Program: Verifying Interoperability for Project 25 Systems
White Papers Public safety agencies are challenged with keeping communities safe and protecting the lives of their officers. Often it requires agencies to work not only within their jurisdictions or agencies but also across multiple jurisdictions and agencies.
[August 15, 2009, 1:20]
Verifying Data Integrity in Peer-to-Peer Media Streaming
White Papers The paper studies data integrity verification in peer-to-peer media streaming for content distribution. Challenges include the timing constraint of streaming as well as the untrustworthiness of peers.
[October 22, 2008, 1:01]
Liberty Alliance and Passport still poles apart
News Representatives from the two major initiatives to build a common infrastructure for verifying identity on the Internet said on Tuesday that while a standard system is necessary, the sides may not be able to work together anytime soon.
[February 20, 2002, 9:06]
Microsoft proposes joint anti-spam fight
News George Webb, group manager of Microsoft's anti-spam technology and strategy team, said last Friday that it has been working with the people behind SPF, or Sender Policy Framework, a proposed standard for verifying the domain of an email sender and...
[May 24, 2004, 11:40]
Firewall Analysis With Policy-Based Host Classification
White Papers Most existing tools for verifying the policy require the user to provide a detailed set of test cases or queries, which can sometimes be as difficult as verifying the policy by hand. For administrators of large systems, testing and debugging a...
[May 31, 2008, 1:01]
PGP Personal for Windows 8.0 review
Reviews The PGP Mail application itself sports a floating toolbar interface that includes buttons for launching the PGP Keys program, encrypting and signing files, decrypting and verifying files and wiping files clean.
[January 22, 2003, 16:10]
When three-factor security isn't enough
News Who is verifying that the person is indeed you, and what are they basing that verification on? In my experience, that easily forged document is generally accepted by most individuals who are charged with verifying someone's identity.
[August 7, 2003, 11:50]
The four things your backup strategy is missing
News On that note, it's good to have someone responsible for verifying that the backups run and a backup person who's responsible when that person is gone. Of course, even better than notification on success as well as failure is a checklist of daily...
[July 29, 2005, 16:20]
Emissary
Downloads Secure: code-sign packages for verifying authenticity, protect packages with passwords, Flexible: display license agreements, start an installer, or open any file in package, very tight compression - advanced CAB-LZX algorithm Version 5.5 create...
[March 31, 2006, 9:31]
Model Checking an Entire Linux Distribution for Security Violations
White Papers Software model checking has become a popular tool for verifying programs' behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. However, even state-of-the-art model checkers are limited in use when...
[April 1, 2007, 1:00]
The Non-Linearity of Volatile in Java
White Papers Linear logic and related logics (such as separation logic and fractional permissions) have proven useful in verifying concurrent programs because they make it easy to reason about heap separation properties.
[February 2, 2009, 0:00]
IPGadget
Downloads IPGadget is a small calculator for verifying IPv4 address information. Given an IP address and network prefix size, IPGadget will show you: The subnet mask corresponding with the prefix size (eg "/24" = "255.255.255.0") The network address (ie...
[September 26, 2009, 18:57]
Microsoft mandates 'piracy' checks
Talkback If MS are going to start doing this then it is safe to predict that they have a future view of verifying the validity of the OS for _all_ updates when Windows Vista gets released. This could well be what the Linux community have been waiting for.
[July 26, 2005, 14:37]
QuickSigner
Downloads This is a tool for quickly digitally signing or verifying text or files with Public-Key-Encryption with RSA encryption algorithm (RSAES-OAEP). Secure your data exchanges and transfers with digitally signed files.
[November 8, 2005, 7:37]
Aussie escrow service faked online
Talkback We have to find ways of verifying fiduciaries. Bad news. This can only hurt e-commerce, web development, and prosperity. For a scam like this, I find it hard to beleive that police cannot track down the perps since the fraud involves them somehow...
[July 21, 2004, 23:59]
Emissary
Downloads Pack Any Digital Content: Documents Music Software Installations Secure: Code-sign packages for verifying authenticity Protect packages with passwords Flexible: display license agreements Start an installer, or open any file in package Very tight...
[September 19, 2005, 8:00]
Apple notches up 50 million iTunes sales
Talkback The BBC got it wrong and apparently ZDNet doesn't do much verifying of facts.
[March 16, 2004, 8:07]
WSAT: A Tool for Formal Analysis of Web Services
White Papers This paper presents Web Service Analysis Tool (WSAT), a tool for analyzing and verifying composite web service designs, with the state of the art model checking techniques. Web services are loosely coupled distributed systems communicating via XML...
[November 18, 2008, 0:00]
Windows Server 2003 Active Directory Diagnostics, Troubleshooting, and Recovery - Level 200
White Papers This session covers verifying Active Directory functionality, diagnosing and troubleshooting replication, locating Active Directory database files, backing up and recovering system state data, and seizing FSMO roles.
[April 3, 2008, 2:22]
