Burrows–Abadi–Needham logic (Q1016940)

From Wikidata
Jump to: navigation, search
computer science
  • BAN logic
  • Burrows-Abadi-Needham logic
edit
Language Label Description Also known as
English
Burrows–Abadi–Needham logic
computer science
  • BAN logic
  • Burrows-Abadi-Needham logic

Statements

0 references
0 references
0 references

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit