LINEAR TIME ALGORITHM FOR DECIDING SUBJECT SECURITY

被引：80
|
作者：
LIPTON, RJ [1 ]
SNYDER, L [1 ]
机构：
[1] YALE UNIV,DEPT COMP SCI,NEW HAVEN,CT 06520
来源：
JOURNAL OF THE ACM | 1977年 / 24卷 / 03期
关键词：
D O I：
10.1145/322017.322025
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：455 / 464
页数：10
相关论文
共 50 条
  • [1] LINEAR TIME ALGORITHM FOR DECIDING INTERVAL GRAPH ISOMORPHISM
    LUEKER, GS
    BOOTH, KS
    [J]. JOURNAL OF THE ACM, 1979, 26 (02) : 183 - 195
  • [2] A simple tree-based algorithm for deciding the stability of discrete-time switched linear systems
    Dercole, Fabio
    Della Rossa, Fabio
    [J]. 2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
  • [3] Deciding Conjugacy in Thompson's Group F in Linear Time
    Hossain, Nabil
    McGrail, Robert W.
    Belk, James
    Matucci, Francesco
    [J]. 2013 15TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2013), 2014, : 89 - 96
  • [4] Deciding the Confusability of Words under Tandem Repeats in Linear Time
    Chee, Yeow Meng
    Chrisnata, Johan
    Kiah, Han Mao
    Tuan Than H Nguyen
    [J]. ACM TRANSACTIONS ON ALGORITHMS, 2019, 15 (03)
  • [5] Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time
    Boiret, Adrien
    Palenta, Raphaela
    [J]. DEVELOPMENTS IN LANGUAGE THEORY, DLT 2016, 2016, 9840 : 355 - 367
  • [6] An Algorithm for Deciding Minimal Cache Sizes in Real-Time Systems
    Marti Campoy, Antonio
    Rodriguez-Ballester, Francisco
    Tamura, Eugenio
    Ors, Rafael
    [J]. GECCO-2011: PROCEEDINGS OF THE 13TH ANNUAL GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2011, : 1163 - 1169
  • [7] A Method of Deciding the Security in Publishing Views
    Zhang Kun
    Zhou Wan-zhen
    [J]. 2009 5TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-8, 2009, : 5438 - 5441
  • [8] Deciding key cycles for security protocols
    Cortier, Veronique
    Zalinescu, Eugen
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2006, 4246 : 317 - +
  • [9] A SYSTEM FOR DECIDING THE SECURITY OF CRYPTOGRAPHIC PROTOCOLS
    WATANABE, H
    FUJIWARA, T
    KASAMI, T
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1993, E76A (01) : 96 - 103
  • [10] DECIDING ALL BEHAVIORAL EQUIVALENCES AT ONCE: A GAME FOR LINEAR-TIME-BRANCHING-TIME SPECTROSCOPY
    Bisping, Benjamin
    Jansen, David n.
    Nestmann, Uwe
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 18 (03)
12345