January 13, 2009
Swedish Technology Leaders Prover and Axiomatics Solve Policy Analysis Challenges
Stockholm, SE and Kista, SE - January 13, 2009 - Axiomatics, a global leader in the entitlement management industry, and Prover, a leading provider of Signaling Design Automation and proof engine software, have formed a partnership to develop Axiomatics Policy Inspector. The Policy Inspector tool analyzes, compares and verifies policies written in XACML using formal proof. The tool is used stand alone or as a plug-in for the Axiomatics Policy Server.
The incorporation of Prover's production-proven technology into Axiomatics Policy Inspector ensures that Axiomatics clients benefit from state of the art formal verification technology at an unbeatable price point.
"Since their introduction in 1989 our proof engines have been used in many different areas: aerospace, semiconductor, automotive, railway signaling, product configuration and more", said Gunnar Stalmarck, CEO of Prover. This is our first application within Security Policy Inspection. We couldn't imagine a better partner for venturing into this area with than Axiomatics, and we are excited about once again demonstrating the broad applicability of our proof engine technology.
Babak Sadighi, CEO of Axiomatics, continued: "Axiomatics Policy Inspector is a unique and tremendously powerful tool. Our clients know that before deploying new policies, it is critical to answer two questions: 1. How are my existing policies affected? 2. Are there any policy conflicts? Axiomatics Policy Inspector answers both those questions, and many others. It also provides constructive feedback that assists the user in not only determining that there is a problem, but in solving it. As a result, our customers accelerate their processes, cut policy administration costs and improve the understanding of their policies. We are happy to be collaborating with Prover on this product, since it has truly unique expertise."
ABOUT AXIOMATICS
Axiomatics, located in Stockholm, Sweden, is the leading provider of fine-grained authorization and entitlement management solutions based on the XACML standard. As an active member of the XACML Technical Committee in OASIS, Axiomatics contributes to the development of the standard and has the editorial responsibility for its latest specification. Axiomatics' flagship product, Axiomatics Policy Server, is the most comprehensive implementation available of the current XACML 2.0 standard as well as of the XACML 3.0 draft. Axiomatics currently has customers in health care, defense, telecommunication and financial sectors.
For more information about Axiomatics XACML Products and Services, please visit them on the web at http://www.axiomatics.com.
ABOUT PROVER
Prover Technology provides software products and services for development of control and signaling systems. The company was founded in 1989 and is privately held. It is headquartered in Stockholm, Sweden with wholly owned subsidiaries in France and USA. Prover Technology's customer base includes Airbus, Ansaldo, Bombardier, New York City Transit, RATP (Paris Metro), Swedish National Rail, Thales, and many others. For more information and office locations, visit Prover Technology's web site at http://www.prover.com/.
EDITORIAL CONTACTS:
Marcus Tallhamn, Prover Technology
Phone: +1 650 722 2750
Email: marcus@prover.com
Babak Sadighi, Axiomatics
Phone: +46(70)229 0701
Email: babak@axiomatics.com
