Jason Jaskolka
Titel
Geciteerd door
Geciteerd door
Jaar
Exploring covert channels
J Jaskolka, R Khedri
44th Hawaii International Conference on System Sciences (HICSS),, 1-10, 2011
282011
Verification of information flow in agent-based systems
KE Sabri, R Khedri, J Jaskolka
International Conference on E-Technologies, 252-266, 2009
192009
Software Engineering for Model-Based Development by Domain Experts
M Bialy, V Pantelic, J Jaskolka, A Schaap, LM Patcas, M Lawford, ...
Handbook of System Safety and Security: Cyber Risk and Risk Management …, 2016
132016
On the necessary conditions for covert channel existence: A state-of-the-art survey
J Jaskolka, R Khedri, Q Zhang
Procedia Computer Science 10, 458-465, 2012
132012
Identifying Implicit Component Interactions in Distributed Cyber-Physical Systems
J Jaskolka, J Villasenor
Proceedings of the 50th Hawaii International Conference on System Sciences, 2017
122017
Endowing concurrent Kleene algebra with communication actions
J Jaskolka, R Khedri, Q Zhang
International Conference on Relational and Algebraic Methods in Computer …, 2014
122014
Modeling, analysis, and detection of information leakage via protocol-based covert channels
J Jaskolka
102010
A Formulation of the Potential for Communication Condition using C2KA
J Jaskolka, R Khedri
arXiv preprint arXiv:1408.5964, 2014
82014
An aspect-oriented language for feature-modeling
Q Zhang, R Khedri, J Jaskolka
Journal of Ambient Intelligence and Humanized Computing 5 (3), 343-356, 2014
82014
A formal test for detecting information leakage via covert channels
J Jaskolka, R Khedri, KE Sabri
Proceedings of the Seventh Annual Workshop on Cyber Security and Information …, 2011
72011
An Approach for Identifying and Analyzing Implicit Interactions in Distributed Systems
J Jaskolka, J Villasenor
IEEE Transactions on Reliability 66 (2), 529-546, 2017
62017
Mitigating covert channels based on analysis of the potential for communication
J Jaskolka, R Khedri
Theoretical Computer Science 643, 1-37, 2016
62016
On the Modelling, Analysis, and Mitigation of Distributed Covert Channels
J Jaskolka
62015
An Aspect-Oriented Language for Product Family Specification
Q Zhang, R Khedri, J Jaskolka
Procedia Computer Science 10, 482-489, 2012
62012
Verification of aspectual composition in feature-modeling
Q Zhang, R Khedri, J Jaskolka
International Conference on Software Engineering and Formal Methods, 109-125, 2012
62012
Specification of agent explicit knowledge in cryptographic protocols
KE Sabri, R Khedri, J Jaskolka
CESSE 2008: International Conference on Computer, Electrical, and Systems …, 2008
62008
Towards an Ontology Design Architecture
J Jaskolka, W MacCaull, R Khedri
2015 International Conference on Computational Science and Computational …, 2015
52015
Foundations of Communicating Concurrent Kleene Algebra
J Jaskolka, R Khedri, Q Zhang
McMaster University, 2013
52013
An Aspect-Oriented Language Based on Product Family Algebra: Aspects Specification and Verification
Q Zhang, R Khedri, J Jaskolka
McMaster University, 2011
52011
Investigative support for information confidentiality part I: Detecting confidential information leakage via protocol-based covert channels
J Jaskolka, R Khedri, KE Sabri
Procedia Computer Science 34, 276-285, 2014
42014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20