Search results for "APTS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
165	Elizabeth I. Leonard, Constance L. Heitmeyer	Program Synthesis from Formal Requirements Specifications Using APTS.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	APTS, formal specifications, program transformation, code generation, requirements specifications, SCR, code synthesis
33	Seunghyun Oh	The Vehicle Location Tracking System Using Wireless Network.	MMM (2)	2007	DBLP DOI BibTeX RDF	APTS, ad-hoc network, ITS, sensor node, vehicle tracking
31	Lorena González-Manzano, José María de Fuentes, Flavio Lombardi, Cristina Ramos	A technical characterization of APTs by leveraging public resources.	Int. J. Inf. Sec.	2023	DBLP DOI BibTeX RDF
31	Rajendra Patil, Sivaanandh Muneeswaran, Vinay Sachidananda, Mohan Gurusamy	E-Audit: Distinguishing and investigating suspicious events for APTs attack detection.	J. Syst. Archit.	2023	DBLP DOI BibTeX RDF
31	Lampis Alevizos, Max Hashem Eiza, Ta Vinh Thong 0001, Qi Shi 0001, Janet C. Read	Blockchain-Enabled Intrusion Detection and Prevention System of APTs Within Zero Trust Architecture.	IEEE Access	2022	DBLP DOI BibTeX RDF
31	Guofeng Zhang 0015, Xiao Chen, Bin Feng 0002, Xuchao Guo, Xia Hao, Henggang Ren, Chunyan Dong, Yanan Zhang	BCST-APTS: Blockchain and CP-ABE Empowered Data Supervision, Sharing, and Privacy Protection Scheme for Secure and Trusted Agricultural Product Traceability System.	Secur. Commun. Networks	2022	DBLP DOI BibTeX RDF
31	Yoram J. Meijaard, Peter-Paul Meiler, Luca Allodi	Modelling Disruptive APTs targeting Critical Infrastructure using Military Theory.	EuroS&P Workshops	2021	DBLP DOI BibTeX RDF
31	Ankang Ju, Yuanbo Guo, Tao Li	MCKC: a modified cyber kill chain model for cognitive APTs analysis within Enterprise multimedia network.	Multim. Tools Appl.	2020	DBLP DOI BibTeX RDF
31	Juan E. Rubio, Cristina Alcaraz, Javier López 0001	Game Theory-Based Approach for Defense Against APTs.	ACNS (2)	2020	DBLP DOI BibTeX RDF
31	Ivan Kovacevic, Stjepan Gros	Red Teams - Pentesters, APTs, or Neither.	MIPRO	2020	DBLP DOI BibTeX RDF
31	Juan E. Rubio, Cristina Alcaraz, Ruben Rios, Rodrigo Roman, Javier López 0001	Distributed Detection of APTs: Consensus vs. Clustering.	ESORICS (1)	2020	DBLP DOI BibTeX RDF
31	Amir Mohammadzade Lajevardi, Morteza Amini	A semantic-based correlation approach for detecting hybrid and low-level APTs.	Future Gener. Comput. Syst.	2019	DBLP DOI BibTeX RDF
31	Juan E. Rubio, Rodrigo Roman, Cristina Alcaraz, Yan Zhang 0002	Tracking APTs in industrial ecosystems: A proof of concept.	J. Comput. Secur.	2019	DBLP DOI BibTeX RDF
31	Steven Gianvecchio, Christopher Burkhalter, Hongying Lan, Andrew Sillers, Kenneth P. Smith	Closing the Gap with APTs Through Semantic Clusters and Automated Cybergames.	SecureComm (1)	2019	DBLP DOI BibTeX RDF
31	Mohannad Alhanahnah, David W. Chadwick	Boosting Usability for Protecting Online Banking Applications Against APTs.	CCC	2016	DBLP DOI BibTeX RDF
31	Gustavo Gonzalez Granadillo, Joaquín García-Alfaro, Hervé Debar, Christophe Ponchel, Laura Rodriguez Martin	Considering technical and financial impact in the selection of security countermeasures against Advanced Persistent Threats (APTs).	NTMS	2015	DBLP DOI BibTeX RDF
31	Don Smith	Life's certainties: death, taxes and APTs.	Netw. Secur.	2013	DBLP DOI BibTeX RDF
31	Georgios Ioannou, Panos Louvieris, Natalie Clewley, Gavin Powell	A Markov multi-phase transferable belief model: An application for predicting data exfiltration APTs.	FUSION	2013	DBLP BibTeX RDF
31	Gordon Thomson	APTs: a poorly understood challenge.	Netw. Secur.	2011	DBLP DOI BibTeX RDF
31	R. P. S. Padmanaban, Lelitha Vanajakshi, Shankar C. Subramanian	Automated Delay Identification for Bus Travel Time Prediction towards APTS Applications.	ICETET	2009	DBLP DOI BibTeX RDF
25	Éric Monfroy, Frédéric Saubion, Tony Lambert	On Hybridization of Local Search and Constraint Propagation.	ICLP	2004	DBLP DOI BibTeX RDF
25	Hans Langmaack	An ALGOL-View on Turbo ASM.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
25	Loong Fah Cheong, Chin-Hwee Peh	Characterizing Depth Distortion due to Calibration Uncertainty.	ECCV (1)	2000	DBLP DOI BibTeX RDF	Depth distortion, Uncalibrated motion analysis, Structure from motion, Space perception
25	Robert Paige	Viewing A Program Transformation System At Work.	PLILP	1994	DBLP DOI BibTeX RDF