Por medio de formulas CCTL son especificados los requisitos y las restricciones temporales que el MT debe cumplir.
Utilizando los algoritmos descritos en  y , obtenemos la interpretacion operacional de las formulas CCTL previamente especificadas de acuerdo con el calculo de procesos CSP+T.
Algorithm Proposal to Automata Generation from CCTL Formulas".
This information is passed on to the vendor for use in developing an evaluation services contract with a CCTL.
Vendors can work with their CCTL and the DoD to determine a reasonable period of time for the product evaluation, which could be any number of months depending primarily on product complexity, vendor evidence preparedness, assurance level chosen, and the lab's familiarity with the technology.
You can obtain a copy of this document from any CCTL or the NIAP CCEVS.
The ARCA CCTL
observes the highest standards of impartiality, integrity, and commercial confidentiality and by working with us, LogLogic is demonstrating its deep commitment to being a trusted and validated vendor to the Department of Defense and other US Government Agencies.