Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

30

SOFTWARE
2002

favoriteEmaildiscussreport

230views Applied Computing» more SOFTWARE 2002»

Correctness by Construction: Developing a Commercial Secure System

13 years 4 months ago

Correctness by Construction: Developing a Commercial Secure System

Download www.anthonyhall.org

Anthony Hall, Roderick Chapman

Real-time Traffic

Applied Computing | SOFTWARE 2002 |

claim paper

Related Content

» DAIS A RealTime Data Attack Isolation System for Commercial Database Applications

» Stellar A Fusion System for Scenario Construction and Security Risk Assessment

» Symantec Deception Server Experience with a Commercial Deception System

» Semantic integrity support in SQL 1999 and commercial objectrelational database management...

» Realtime data attack isolation for commercial database applications

» Correctness by Construction for HighIntegrity RealTime Systems A MetamodelDriven Approach

» From Trusted to Secure Building and Executing Applications That Enforce System Security

» Security Patterns A Method for Constructing Secure and Efficient InterCompany Coordination...

» Software Reuse and Safety

Post Info
More Details (n/a)

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	2002
Where	SOFTWARE
Authors	Anthony Hall, Roderick Chapman

Comments (0)