Previous
Turing Award goes to error-checking researchers
News Edmund M Clarke, of Carnegie Mellon University, E Allen Emerson, of the University of Texas at Austin, and Joseph Sifakis, of the University of Grenoble, were awarded the $250,000 (£127,000) prize by IT professional organisation the Association...
[February 5, 2008, 17:23]
Static Checking of Dynamically Generated Queries in Database Applications
White Papers The servlet programmer enjoys static checking via Java's strong type system. Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g.can create string representations of SQL...
[September 8, 2006, 0:00]
Australia launches biometric passport checking
News The Australian Customs Service (ACS) will next week launch its biometric passport checking system "publicly," drastically shortening its trial period and before concerns about how to apply it to all Australians have been resolved.
[January 23, 2003, 8:26]
Model Checking Networked Programs in the Presence of Transmission Failures
White Papers Conversion of processes into threads, combined with a network model, allows for model checking distributed applications, but does not cover potential communication failures. This paper contributes a fault model for model checking networked programs.
[June 27, 2007, 1:00]
A Formal Framework for Secure Design and Constraint Checking in UML
White Papers This paper reports on a formal approach that incorporates Role-Based Access Control (RBAC), Mandatory Access Control (MAC), and lifetimes, with constraint checking, into UML for time-sensitive application design.
[November 29, 2008, 23:00]
Adaptive Correctness Monitoring for Wireless Sensor Networks Using Hierarchical Distributed Run-Time Invariant Checking
White Papers It presents a framework, Hierarchical SEnsor Network Debugging (H- SEND), for lightweight checking of invariants. This paper presents a hierarchical approach for detecting faults in Wireless Sensor Networks (WSNs) after they have been deployed.
[April 11, 2008, 1:02]
Improving Software Security Via Runtime Instruction-Level Taint Checking
White Papers Current taint checking architectures monitor tainted data usage mainly with control transfer instructions. This paper presents a generic instruction-level runtime taint checking architecture for handling non control data attacks.
[February 5, 2009, 0:00]
Model Checking an Entire Linux Distribution for Security Violations
White Papers Software model checking has become a popular tool for verifying programs' behavior. In this paper, the authors report the experiences with software model checking for security properties on an extremely large scale - an entire Linux distribution...
[April 1, 2007, 1:00]
Semantic Matchmaking of Web Services Using Model Checking
White Papers Requests are represented as a set of properties and compared to the service representations using model checking, yielding results on whether a service can satisfy a request or not. Service matchmaking is the process of finding suitable services...
[November 18, 2008, 0:00]
Microsoft bug-checking tools promise fewer crashes
News For Windows Vista, Microsoft will put its drivers through a checking process, Terry said. Microsoft is readying two tools to help hardware makers create more stable and secure Windows drivers, which should help reduce the number of crashes.
[May 30, 2006, 16:40]
Model Checking Large Network Protocol Implementations
White Papers This paper focuses on how to effectively find errors in large network protocol implementations using model checking, a formal verification technique. Network protocols must work. The effects of protocol specification or implementation errors range...
[April 18, 2007, 1:00]
Microsoft trials licence-checking programme
Talkback Microsoft Office runs on Linux. Ever heard of CrossOver Office? Runs MS Word, Excel, PowerPoint flawlessly under linux, with a specially adapted version of WINE. Installation is a breeze. So there. OO.org is good, but lacks the ease of use of...
[September 22, 2004, 13:04]
Microsoft trials licence-checking programme
Talkback Hang on.the whole linux doesn't have any viruses or worms, so it must be more secure than windows doesn't wash. Virus/Worm creators are after the 'biggest bang' causing as much trouble as possible, so do they
[September 22, 2004, 15:21]
Microsoft trials licence-checking programme
Talkback If you have nothing to fear then if you want this software GO FO IT Where in the article is there a box so that you can "go for it" ? I f you recomend a friend they will no doubt come back to you and ask this very question /
[November 1, 2004, 15:42]
Microsoft trials licence-checking programme
Talkback This torques me off more than you can imagine. My VPN was working fine. I own four legal copies of XP which have all been registered with MS. Now, at 6:30 in the morning when I am trying to apply the fix that I honestly believe MS broke on purpose...
[October 5, 2004, 2:12]
Microsoft trials licence-checking programme
Talkback Hang on, microsoft products superior to OpenOffice / Linux? pull the other on its got a cheque with bill gates' name on it. I'll admit that OOo is a little klunky at times but linux is rock solid and beats the lederhosen off windows anytime of the...
[September 22, 2004, 10:21]
Microsoft trials licence-checking programme
Talkback The truth is Microsoft software, of late at least, is superior to Open Office / Linux. People, therefore, pirate the software rather than use the free alternative. It is just a shame the Microsoft has to waste its money developing anti-theft...
[September 21, 2004, 21:48]
Microsoft trials licence-checking programme
Talkback Here we go again, whine whine whine. I'm poor and I can't afford Microsoft products so it’s okay for me to pirate them. RUBBISH. There’s a perfectly good free alternative, it’s called Linux, as for an office equivalent get OpenOffice, that’s free...
[September 20, 2004, 13:24]
Microsoft trials licence-checking programme
Talkback I pirate all my Microsoft software . I buy pretty much all other software from other companies but Microsoft are just so immoral and continually get away with using their monopoloy to cause massive over-charging.for a student copy of office!
[September 20, 2004, 12:29]
Microsoft trials licence-checking programme
Talkback I want to know if I use a window license or not.
[April 7, 2005, 11:08]
