G - Physics – 06 – F
Patent
G - Physics
06
F
G06F 15/00 (2006.01)
Patent
CA 2658132
Security language constructs may be translated into logic language constructs and vice versa. Logic resolution may be effected using, for example, the logic language constructs. In an example implementation, translation of a security language assertion into at least one logic language rule is described. In another example implementation, translation of a proof graph reflecting a logic language into a proof graph reflecting a security language is described. In yet another example implementation, evaluation of a logic language program using a deterministic algorithm is described.
Les constructions de langage de sécurité peuvent être traduites en constructions de langage logique et vice versa. La résolution logique peut être effectuée en utilisant, par exemple, les constructions de langage logique. Dans une implémentation donnée à titre d'exemple, la traduction d'une assertion de langage de sécurité en au moins une règle de langage logique est décrite. Dans une autre implémentation donnée à titre d'exemple, la traduction d'un graphique de démonstration reflétant un langage logique en un graphique de démonstration reflétant un langage de sécurité est décrite. Dans encore une autre implémentation donnée à titre d'exemple, l'évaluation d'un programme de langage logique utilisant un algorithme déterministe est décrite.
Becker Moritz Y.
Dillaway Blair B.
Fournet Cedric
Gordon Andrew D.
Mackay Jason F.
Microsoft Corporation
Smart & Biggar
LandOfFree
Security language translations with logic resolution does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Security language translations with logic resolution, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Security language translations with logic resolution will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-1728046