Toktam Ramezanifarkhani
Toktam Ramezanifarkhani
Verified email at ifi.uio.no
Title
Cited by
Cited by
Year
Examination and classification of security requirements of software systems
TR Farkhani, MR Razzazi
2006 2nd International Conference on Information & Communication …, 2006
122006
An evaluation of interaction paradigms for active objects
F Karami, O Owe, T Ramezanifarkhani
Journal of logical and algebraic methods in programming 103, 154-183, 2019
102019
Principles of Data Flow Integrity: Specification and Enforcement.
T Ramezanifarkhani, M Razzazi
J. Inf. Sci. Eng. 31 (2), 529-546, 2015
102015
A secrecy-preserving language for distributed and object-oriented systems
T Ramezanifarkhani, O Owe, S Tokas
Journal of logical and algebraic methods in programming 99, 1-25, 2018
92018
Confidentiality of interactions in concurrent object-oriented systems
O Owe, T Ramezanifarkhani
Data Privacy Management, Cryptocurrencies and Blockchain Technology, 19-34, 2017
72017
Securing the Internet of Things with recursive InterNetwork architecture (RINA)
T Ramezanifarkhani, P Teymoori
2018 International Conference on Computing, Networking and Communications …, 2018
62018
A Crisis Situations Decision-Making Systems Software Development Process With Rescue Experiences
A Nowroozi, P Teymoori, T Ramezanifarkhani, MR Besharati, M Izadi
IEEE Access 8, 59599-59617, 2020
42020
A language-based approach to prevent DDoS attacks in distributed object systems
T Ramezanifarkhani, E Fazeldehkordi, O Owe
29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science, 2017
32017
Hoare-style reasoning from multiple contracts
O Owe, T Ramezanifarkhani, E Fazeldehkordi
International Conference on Integrated Formal Methods, 263-278, 2017
32017
A language-based approach to prevent DDoS attacks in distributed financial agent systems
E Fazeldehkordi, O Owe, T Ramezanifarkhani
Computer Security, 258-277, 2019
22019
Language-based mechanisms for privacy-by-design
S Tokas, O Owe, T Ramezanifarkhani
IFIP International Summer School on Privacy and Identity Management, 142-158, 2019
22019
IAVS: Intelligent Active Network Vulnerability Scanner
MH Bazrafkan, A Nowroozi, T Ramezanifarkhani, P Teymoori
Norsk IKT-konferanse for forskning og utdanning, 2020
12020
Static enforcement of confidentiality of interactions in concurrent object-oriented systems
O Owe, T Ramezanifarkhani
Technical report, Department of Informatics, University of Oslo, Norway, 2017
12017
Heterogeneous distributed clustering in sensor networks
P Teymoori, TR Farkhani
2008 International Conference on Computer and Communication Engineering, 554-559, 2008
12008
UML-based representation of provision-based access control
TR Farkhani, MR Razzazi
2006 2nd International Conference on Information & Communication …, 2006
12006
Extended Provision-Based Access Control Model
TR Farkhani, MR Razzazi
2006 2nd International Conference on Information & Communication …, 2006
12006
Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19)
KI Pun, V Stolz, E Fazeldehkordi, O Owe, T Ramezanifarkhani, ...
Høgskulen på Vestlandet, 2020
2020
Summary of: An Evaluation of Interaction Paradigms for Active Objects
F Karami, O Owe, T Ramezanifarkhani
International Conference on Integrated Formal Methods, 529-533, 2019
2019
Language-Based Support for GDPR-Related Privacy Requirements
S Tokas, T Ramezanifarkhani
Workshop on Programming Theory, 70, 2018
2018
Game-theoretic analysis of Markovian play order in wireless networks
P Teymoori, T Ramezanifarkhani
2017 International Conference on Networked Systems (NetSys), 1-8, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20