verification articles, videos, photos and opinions

Sort by Relevance | Date | Popularity

Google Apps adds two-step authentication

...Apps accounts that significantly increases the security of the cloud — two-step verification." At present, the authentication is available only to companies that subscribe to... Read more

20 September, 2010 by Tom Espiner

Opera 11.50 beta adds password sync

...to the encryption key, Opera is essentially setting up a two-step verification process. For more on this ZDNet UK-selected story, see New Opera... Read more

1 June, 2011 by Seth Rosenblatt

Google takes two-step verification global

Google has again expanded the reach of its two-step verification service, which makes logging into the company's services more secure. On... Read more

29 July, 2011
<endeca_term>Verification</endeca_term> Games: Making Verification Fun

Verification Games: Making Verification Fun

Program verification is the only way to be certain that a given piece of... Read more

20 May, 2012
An Information Theoretic Location <endeca_term>Verification</endeca_term> System for Wireless Networks

An Information Theoretic Location Verification System for Wireless Networks

As location-based applications become ubiquitous in emerging wireless networks, Location Verification Systems (LVS) are of growing importance. In this paper, the authors propose... Read more

20 April, 2012
Program Slicing Enhances a <endeca_term>Verification</endeca_term> Technique Combining Static and Dynamic Analysis

Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis

Recent research proposed efficient methods for software verification combining static and dynamic analysis, where static analysis reports possible runtime errors... Read more

29 March, 2012
Security Protocol <endeca_term>Verification</endeca_term>: Symbolic and Computational Models

Security Protocol Verification: Symbolic and Computational Models

Security protocol verification has been a very active research area since the 1990s. This paper... Read more

6 January, 2012
Template-Based Program <endeca_term>Verification</endeca_term> and Program Synthesis

Template-Based Program Verification and Program Synthesis

Program verification is the task of automatically generating proofs for a program's compliance... Read more

26 December, 2011
Biometrics <endeca_term>Verification</endeca_term>: A Literature Survey

Biometrics Verification: A Literature Survey

Biometric verification refers to an automatic verification of a person based on some specific... Read more

1 December, 2011
SAT-based Algorithmic <endeca_term>Verification</endeca_term> of Noninterference

SAT-based Algorithmic Verification of Noninterference

In this paper the authors propose an algorithmic verification technique to check noninterference for deterministic finite state systems. Their technique integrates... Read more

1 November, 2011
A Robust Client <endeca_term>Verification</endeca_term> in Cloud Enabled m-Commerce Using Gaining Protocol

A Robust Client Verification in Cloud Enabled m-Commerce Using Gaining Protocol

The proposed system highlights a novel approach of exclusive verification process using gain protocol for ensuring security among both the parties (client... Read more

1 November, 2011
Apply Multi-Layer Perceptrons Neural Network for Off-Line Signature <endeca_term>Verification</endeca_term> and Recognition

Apply Multi-Layer Perceptrons Neural Network for Off-Line Signature Verification and Recognition

This paper discusses the applying of Multi-layer perceptrons for signature verification and recognition using a new approach enables the user to recognize whether... Read more

1 November, 2011
Functional <endeca_term>Verification</endeca_term> of Class Invariants in CleanJava

Functional Verification of Class Invariants in CleanJava

In Cleanroom-style functional program verification, a program is viewed as a mathematical function from one program state... Read more

1 November, 2011
Edola: A Domain Modeling and <endeca_term>Verification</endeca_term> Language for PLC Systems

Edola: A Domain Modeling and Verification Language for PLC Systems

Formal modeling and verification of PLC systems become paramount in engineering applications. The paper presents a... Read more

19 October, 2011
<endeca_term>Verification</endeca_term> and Validation in GERAM Framework for Modeling of Information Systems

Verification and Validation in GERAM Framework for Modeling of Information Systems

...main aim of this paper is to propose a methodology for using verification and validation tools in a framework for modeling of an Industrial Enterprise... Read more

1 October, 2011

Get ZDNet UK's daily newsletter

Enter your email address to sign up

ZDNet UK Live

SoapyTablet

'Cut Price' Data Roaming? The price has been cut, but it is certainly not 'cut price' in the sense of the phrase, and nowhere near local EU data...

1 hour ago by SoapyTablet on Cut-price data roaming gets all-clear for July
apexwm

BrownieBoy: "Such crashes are normally down to the OS and/or a rogue application, which could be fixed by re-imaging. Everybody knows how Windows...

2 hours ago by apexwm on Using Windows XP is a waste of money, says IDC
Thomas Gellhaus

I've just started using it too, and like you I feel that Fedora is a fine GNOME 3 showcase distribution. I am torn, though, because I checked out...

2 hours ago by Thomas Gellhaus via Facebook on Fedora 17 - The "Beefy Miracle" Arrives
pjc158

Why is it that Newzealand has the guts to stand up to the USA and ask to see the evidence and we don't!

2 hours ago by pjc158 on Judge orders US to share MegaUpload evidence
Dean Talboys

What a farce! Hopefully the European court will see where this is leading.

4 hours ago by Dean Talboys via Facebook on Assange loses extradition battle in Supreme Court
SoapyTablet

Wouldn't surprise me if Samsung actually really had problems producing the white model (as Apple did - it would make more sense) and this non-story...

5 hours ago by SoapyTablet on Samsung Galaxy 'S3' delayed by special paint
Lonnie

those conformation letters are hard to figure out what is which letters it is a pain in the back side. Please make it more Ledge-able being better...

9 hours ago by Lonnie on Screenshots: Photoshop CS6 Beta
BrownieBoy

"cites" even. Ouch!

16 hours ago by BrownieBoy on Using Windows XP is a waste of money, says IDC
Horace Ontalhold

...... and PDP11s too

16 hours ago by Horace Ontalhold on Fusion-io lays minefield with a billion IOPS
BrownieBoy

I had a quick skim through the PDF. It seems to be that many of these so-called cost savings would be down to a hardware refresh. Although...

17 hours ago by BrownieBoy on Using Windows XP is a waste of money, says IDC
bobandroid

496,999 BT Fon Hotspots lovingly situated in your next door neighbours garden, no matter how you dress that up its still a pup... Not where I need...

19 hours ago by bobandroid on London Olympics: BT needs 25,000 more Wi-Fi hotspots
apexwm

Jack : I was hoping you could provide us a summary since you are familiar with this report. I am not yet sure how much of my time I'd like to...

21 hours ago by apexwm on Using Windows XP is a waste of money, says IDC
Smilig Eddie

2 – 4 more weeks of waiting: how many buyers are going to decide instead to see what the iPhone 5 offers? Consumer trust in the brand has also...

21 hours ago by Smilig Eddie on Samsung Galaxy 'S3' delayed by special paint
SRist

So it looks like this was a complete red herring - Adobe are allowing upgrades from Photoshop CS3, CS4 and CS5 at the same price. When did this...

21 hours ago by SRist on Photoshop users attack Adobe upgrade policy change
Jack Schofield

@apexwm Have you considered either (a) reading the story above or (b) reading the PDF? There are answers in both.

23 hours ago by Jack Schofield on Using Windows XP is a waste of money, says IDC
apexwm

I would love to hear why Microsoft believes that "upgrading from Windows XP to Windows 7 pays for itself in a year, in increased productivity and...

1 day ago by apexwm on Using Windows XP is a waste of money, says IDC
debsmk

I have just changed mine to white they said 3 to 5 days

1 day ago by debsmk on Samsung Galaxy 'S3' delayed by special paint
Atangana

I would like a job for me and do good to their tackiness vellent my help I will do my best to help you mercie for all

1 day ago by Atangana on UK's 15-year-old World Excel champion offered £100k job
BrownieBoy

Well done to IDC for producing a report that says using XP is a waste of money. Only 11 years too late with it is all....

1 day ago by BrownieBoy on Using Windows XP is a waste of money, says IDC
Jack Schofield

@Burn-IT ...which doesn't mean it isn't true ;-) I'll be interested if you can find any properly-researched, independent data from any of the...

1 day ago by Jack Schofield on Using Windows XP is a waste of money, says IDC