Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Narendran, Paliath
115  Ergebnisse:
Personensuche X
?
1

Converting Rule-Based Access Control Policies: From Complem..:

, In: Proceedings of the 29th ACM Symposium on Access Control Models and Technologies,
Ruiz, Josué A. ; Narendran, Paliath ; Masoumzadeh, Amir. - p. 159-169 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

On the Expressive Power of Negated Conditions and Negative ..:

Iyer, Padmavathi ; Masoumzadeh, Amirreza ; Narendran, Paliath
Computers & Security.  116 (2022)  - p. 102586 , 2022
Link: https://doi.org/10.1016/..
 
?
3

Algorithmic Problems in the Symbolic Approach to the Verifi..:

, In: Frontiers of Combining Systems; Lecture Notes in Computer Science,
Lin, Hai ; Lynch, Christopher ; Marshall, Andrew M.... - p. 253-270 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Towards a Theory for Semantics and Expressiveness Analysis ..:

, In: Proceedings of the 26th ACM Symposium on Access Control Models and Technologies,
Masoumzadeh, Amirreza ; Narendran, Paliath ; Iyer, Padmavathi - p. 33-43 , 2021
Link: https://dl.acm.org/doi/1..
 
?
5

Quantitative Variants of Language Equations and their Appli..:

Marantidis, Pavlos , 2019
Link: https://nbn-resolving.de..
 
?
6

Reviving Basic Narrowing Modulo:

, In: Frontiers of Combining Systems; Lecture Notes in Computer Science,
Kim, Dohan ; Lynch, Christopher ; Narendran, Paliath - p. 313-329 , 2019
Link: https://doi.org/10.1007/..
 
?
7

On Asymmetric Unification for the Theory of XOR with a Homo..:

, In: Frontiers of Combining Systems; Lecture Notes in Computer Science,
Lynch, Christopher ; Marshall, Andrew M. ; Meadows, Catherine.. - p. 297-312 , 2019
Link: https://doi.org/10.1007/..
 
?
8

Unification Modulo Lists with Reverse Relation with Certain..:

, In: Lecture Notes in Computer Science; Automated Deduction – CADE 27,
Anantharaman, Siva ; Hibbs, Peter ; Narendran, Paliath. - p. 1-17 , 2019
Link: https://doi.org/10.1007/..
 
?
9

Asymmetric Unification and Disunification:

, In: Lecture Notes in Computer Science; Description Logic, Theory Combination, and All That,
Ravishankar, Veena ; Cornell, Kimberly A. ; Narendran, Paliath - p. 497-522 , 2019
Link: https://doi.org/10.1007/..
 
?
10

Theories of Homomorphic Encryption, Unification, and the Fi..:

, In: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming,
Yang, Fan ; Escobar, Santiago ; Meadows, Catherine.. - p. 123-133 , 2014
Link: https://dl.acm.org/doi/1..
 
?
11

Foreword to the special issue on security and rewriting tec..:

Kremer, Steve ; Narendran, Paliath
Information and Computation.  238 (2014)  - p. 1 , 2014
Link: https://doi.org/10.1016/..
 
?
12

Protocol analysis in Maude-NPA using unification modulo hom..:

, In: Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming,
Escobar, Santiago ; Kapur, Deepak ; Lynch, Christopher... - p. 65-76 , 2011
Link: https://dl.acm.org/doi/1..
 
?
13

Unification Modulo Homomorphic Encryption:

Anantharaman, Siva ; Lin, Hai ; Lynch, Christopher..
Journal of Automated Reasoning.  48 (2010)  2 - p. 135-158 , 2010
Link: https://doi.org/10.1007/..
 
?
14

Cap unification : application to protocol security modul..:

, In: Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security,
Anantharaman, Siva ; Lin, Hai ; Lynch, Christopher.. - p. 192-203 , 2010
Link: https://dl.acm.org/doi/1..
 
?
15

Closure properties and decision problems of dag automata:

Anantharaman, Siva ; Narendran, Paliath ; Rusinowitch, Michael
Information Processing Letters.  94 (2005)  5 - p. 231-240 , 2005
Link: https://doi.org/10.1016/..
 
1-15