Výsledky vyhledávání - ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General/D.2.0.0: Protection mechanisms~

A conceptual meta-model for secured information systems

Autoři: Lammari, Nadira Bucumi, Jean-Sylvain Akoka, Jacky a další

Přispěvatelé: Lammari, Nadira Bucumi, Jean-Sylvain Akoka, Jacky a další

Zdroj: ICSE 2011 : 33rd International Conference on Software Engineering, 7th International Workshops on Software Engineering for Secure Systems (SESS 2011) ; https://hal.science/hal-01125862 ; ICSE 2011 : 33rd International Conference on Software Engineering, 7th International Workshops on Software Engineering for Secure Systems (SESS 2011), May 2011, Waikiki, Honolulu, Hawaii, United States. pp.22-28, ⟨10.1145/1988630.1988635⟩

Témata: Model Driven Approach, Information System, Security, Sécurité, Système d'information, Approche Model Driven, ACM: H.: Information Systems/H.1: MODELS AND PRINCIPLES, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.0: General, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO]Computer Science [cs], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]

Geografické téma: Waikiki, Honolulu, Hawaii, United States

Dostupnost: https://hal.science/hal-01125862
https://doi.org/10.1145/1988630.1988635

Enabling Software Resilience in GPGPU Applications via Partial Thread Protection.

Autoři: Yang, Lishan Bin Nie Jog, Adwait a další

Zdroj: ICSE: International Conference on Software Engineering; 5/22/2021, p1248-1259, 12p

Témata: GRAPHICS processing units, COMPUTER input-output equipment, COMPUTER software development, ARTIFICIAL intelligence, SOFTWARE engineering

A Model-based approach to realize privacy and data protection by design

Autoři: Pedroza, Gabriel Muntes-Mulero, Victor Martin, Yod, Samuel a další

Přispěvatelé: Pedroza, Gabriel Muntes-Mulero, Victor Martin, Yod, Samuel a další

Zdroj: 2021 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)
IWPE'21 - 2021 International Workshop on Privacy Engineering
https://cea.hal.science/cea-03416657
IWPE'21 - 2021 International Workshop on Privacy Engineering, Sep 2021, vienne (Virtual conference), Austria

Témata: Privacy by design, GDPR, data protection, model-based, personal data detection, DFD, MDE, MBSE, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques/D.2.2.0: Computer-aided software engineering (CASE), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.10: Design/D.2.10.0: Methodologies, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING, [INFO.INFO-CE]Computer Science [cs]/Computational Engineering, Finance, and Science [cs.CE]

Geografické téma: Austria

Time: vienne (Virtual conference), Austria

Relation: info:eu-repo/grantAgreement//787034/EU/Methods and tools for GDPR compliance through Privacy and Data Protection Engineering Programme: H2020-EU.3.7.6./PDP4E

Dostupnost: https://cea.hal.science/cea-03416657
https://cea.hal.science/cea-03416657v1/document
https://cea.hal.science/cea-03416657v1/file/Pedroza_IWPEpaper_2021.pdf

Compiler Mitigations for Time Attacks on Modern x86 Processors

Autoři: Jeroen Van Cleemput Bart Coppens Bjorn De Sutter a další

Přispěvatelé: Jeroen Van Cleemput Bart Coppens Bjorn De Sutter a další

Zdroj: http://users.elis.ugent.be/~brdsutte/research/publications/2012TACOvancleemput.pdf.

Témata: Categories and Subject Descriptors, D.2.0 [Software Engineering, General—Protection mechanisms, D.3.4 [Programming Languages, Processors—Code generation, compilers, optimization General Terms, Experimentation, Measurement, Security Additional Key Words and Phrases, Time-based side channels, x86 architecture, variable latency instructions ACM Reference Format

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.306.7302; http://users.elis.ugent.be/~brdsutte/research/publications/2012TACOvancleemput.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.306.7302
http://users.elis.ugent.be/~brdsutte/research/publications/2012TACOvancleemput.pdf

Structuring Communication Software for Quality-of-Service Guarantees.

Autoři: Mehra, Ashish Indiresan, Atri Shin, Kang G.

Zdroj: IEEE Transactions on Software Engineering; Oct97, Vol. 23 Issue 10, p616-634, 19p

Témata: SOFTWARE engineering, INFORMATION resources management, COMPUTER software, COMPUTER networks, SOFTWARE protection, COMPUTER network protocols

Understanding the GDPR from a requirements engineering perspective—a systematic mapping study on regulatory data protection requirements.

Autoři: Negri-Ribalta, Claudia Lombard-Platet, Marius Salinesi, Camille

Zdroj: Requirements Engineering; Dec2024, Vol. 29 Issue 4, p523-549, 27p

Témata: GENERAL Data Protection Regulation, 2016, DATA protection, REQUIREMENTS engineering, COMPUTER software development, REGULATORY compliance

Behavior Abstraction in Malware Analysis

Autoři: Beaucamps, Philippe Gnaedig, Isabelle Marion, Jean-Yves a další

Přispěvatelé: Beaucamps, Philippe Gnaedig, Isabelle Marion, Jean-Yves a další

Zdroj: 1st International Conference on Runtime Verification
https://inria.hal.science/inria-00536500
1st International Conference on Runtime Verification, Howard Barringer, Klaus Havelund, Insup Lee, Nov 2010, St. Julians, Malta. pp.168-182, ⟨10.1007/978-3-642-16612-9_14⟩

Témata: behavioral detection, abstraction, trace, rewriting, finite state automaton, formal language, dynamic binary instrumentation, Malware, behavior abstraction, string rewriting, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General/D.2.0.0: Protection mechanisms, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.4: Invasive software (e.g., viruses, worms, Trojan horses), ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.6: Verification, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Geografické téma: St. Julians, Malta

Dostupnost: https://inria.hal.science/inria-00536500
https://inria.hal.science/inria-00536500/document
https://inria.hal.science/inria-00536500/file/RV-preprint.pdf
https://doi.org/10.1007/978-3-642-16612-9_14

Behavior Abstraction in Malware Analysis - Extended Version

Autoři: Beaucamps, Philippe Gnaedig, Isabelle Marion, Jean-Yves a další

Přispěvatelé: Beaucamps, Philippe Gnaedig, Isabelle Marion, Jean-Yves a další

Zdroj: https://inria.hal.science/inria-00509486 ; 2010.

Témata: malware, behavioral detection, abstraction, trace, rewriting, finite state automaton, formal language, dynamic binary instrumentation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General/D.2.0.0: Protection mechanisms, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.4: Invasive software (e.g., viruses, worms, Trojan horses), ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.6: Verification, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Dostupnost: https://inria.hal.science/inria-00509486
https://inria.hal.science/inria-00509486v2/document
https://inria.hal.science/inria-00509486v2/file/rv-HAL-V2.pdf

1. American Heart Association. (2021). Heart disease and stroke statistics—2021 update. Circulation, 143(8), e254-e743. 2. Rahman, M., Al Amin, M., Hasan, R., Hossain, S. T., Rahman, M. H., & Rashed, R. A. M. (2025). A Predictive AI Framework for Cardiovascular Disease Screening in the US: Integrating EHR Data with Machine and Deep Learning Models. British Journal of Nursing Studies, 5(2), 40-48. 3. ZakirHossain, M., Khan, M. M., Thapa, S., Uddin, R., Meem, E. J., Niloy, S. K., ... & Bhavani, G. D. (2025, February). Advanced Deep Learning Techniques for Precision Diagnosis of Tea Leaf Diseases. In 2025 IEEE International Conference on Emerging Technologies and Applications (MPSec ICETA) (pp. 1-6). IEEE. 4. Chen, T., & Guestrin, C. (2016). XGBoost: A scalable tree boosting system. In Proceedings of the 22nd ACM SIGKDD international conference on knowledge discovery and data mining (pp. 785-794). ACM. 5. Damen, J. A., Hooft, L., Schuit, E., Debray, T. P., Collins, G. S., Tzoulaki, I., Lassale, C. M., Siontis, G. C., Chiocchia, V., Roberts, C., Schlüssel, M. M., Gerry, S., Black, J. A., Heus, P., van der Schouw, Y. T., Peelen, L. M., & Moons, K. G. (2016). Prediction models for cardiovascular disease risk in the general population: systematic review. BMJ, 353, i2416. 6. Framingham Heart Study. (1948). Framingham Heart Study cohort research data. National Heart, Lung, and Blood Institute. 7. Johnson, A. E., Pollard, T. J., Shen, L., Lehman, L. H., Feng, M., Ghassemi, M., Moody, B., Szolovits, P., Celi, L. A., & Mark, R. G. (2016). MIMIC-III, a freely accessible critical care database. Scientific Data, 3, 160035. 8. Krittanawong, C., Zhang, H., Wang, Z., Aydar, M., & Kitai, T. (2017). Artificial intelligence in precision cardiovascular medicine. Journal of the American College of Cardiology, 69(21), 2657-2664. 9. Lundberg, S. M., & Lee, S. I. (2017). A unified approach to interpreting model predictions. In Advances in Neural Information Processing Systems 30 (NIPS 2017) (pp. 4765-4774). 10. Pedregosa, F., Varoquaux, G., Gramfort, A., Michel, V., Thirion, B., Grisel, O., Blondel, M., Prettenhofer, P., Weiss, R., Dubourg, V., Vanderplas, J., Passos, A., Cournapeau, D., Brucher, M., Perrot, M., & Duchesnay, É. (2011). Scikit-learn: Machine learning in Python. Journal of Machine Learning Research, 12, 2825–2830. 11. Shameer, K., Johnson, K. W., Glicksberg, B. S., Dudley, J. T., & Sengupta, P. P. (2018). Machine learning in cardiovascular medicine: are we there yet? Heart, 104(14), 1156-1164. 12. Steyerberg, E. W., Vergouwe, Y., & van Calster, B. (2019). Towards better clinical prediction models: seven steps for development and an ABCD for validation. European Heart Journal, 40(15), 1255–1264. 13. Sudlow, C., Gallacher, J., Allen, N., Beral, V., Burton, P., Danesh, J., Downey, P., Elliott, P., Green, J., Landray, M., Liu, B., Matthews, P., Ong, G., Pell, J., Silman, A., Young, A., Sprosen, T., Peakman, T., & Collins, R. (2015). UK biobank: an open access resource for identifying the causes of a wide range of complex diseases of middle and old age. PLOS Medicine, 12(3), e1001779. 14. Weng, S. F., Reps, J., Kai, J., Garibaldi, J. M., & Qureshi, N. (2017). Can machine-learning improve cardiovascular risk prediction using routine clinical data? PLOS ONE, 12(4), e0174944. 15. World Health Organization. (2021). Cardiovascular diseases (CVDs). Retrieved from https://www.who.int/news-room/fact-sheets/detail/cardiovascular-diseases-(cvds) 16. Abadi, M., Barham, P., Chen, J., Chen, Z., Davis, A., Dean, J., Devin, M., Ghemawat, S., Irving, G., Isard, M., Kudlur, M., Levenberg, J., Monga, R., Moore, S., Murray, D. G., Steiner, B., Tucker, P., Vasudevan, V., Warden, P., ... Zheng, X. (2016). TensorFlow: A system for large-scale machine learning. In 12th USENIX symposium on operating systems design and implementation (OSDI 16) (pp. 265–283). 17. Chollet, F. (2015). Keras (Version 2.4.0) [Computer software]. https://github.com/fchollet/keras

Autoři: Okunola, Abiodun

Protection in operating systems

Autoři: Jeffrey D. Ullman Michael A. Harrison Walter L. Ruzzo

Zdroj: Communications of the ACM. 19:461-471

Témata: 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, Formal languages and automata, 02 engineering and technology, 16. Peace & justice, Algorithms in computer science

Popis souboru: application/xml

Přístupová URL adresa: https://dl.acm.org/citation.cfm?id=360333
https://dblp.uni-trier.de/db/journals/cacm/cacm19.html#HarrisonRU76
http://portal.acm.org/citation.cfm?doid=360303.360333
https://doi.org/10.1145/360303.360333
https://dl.acm.org/doi/10.1145/360303.360333
https://doi.acm.org/10.1145/360303.360333

On Protection by Layout Randomization.

Autoři: Abadi, Martin Plotkin, Gordon D.

Zdroj: ACM Transactions on Information & System Security (TISSEC); 2012, Vol. 15 Issue 2, p8-8:29, 29p

Témata: RANDOMIZATION (Statistics), SOFTWARE protection, PROGRAMMING languages, COMPUTER software, COMPUTER science, COMPUTER access control

Review and Revocation of Access Privileges Distributed Through Capabilities.

Autoři: Gligor, Virgil D.

Zdroj: IEEE Transactions on Software Engineering; Nov79, Vol. 5 Issue 6, p575-586, 12p, 5 Diagrams

Témata: PARALLEL processing, DISTRIBUTED computing, COMPUTER security, SOFTWARE engineering, COMPUTER software, COMPUTER systems

Protection in Programming Languages.

Autoři: Morris, Jr., James H. Gries, D.

Zdroj: Communications of the ACM; Jan1973, Vol. 16 Issue 1, p15-21, 7p, 5 Diagrams

Témata: PROGRAMMING languages, COMPUTER programming, DATA protection, COMPUTER software, COMPUTER science, ALGORITHMS

Auditing and Inference Control in Statistical Databases.

Autoři: Chin, Francis Y. Ozsoyoglu, Gultekin

Zdroj: IEEE Transactions on Software Engineering; Nov82, Vol. 8 Issue 6, p574-582, 9p, 3 Diagrams, 2 Charts

Témata: DATABASES, STATISTICS, COMPUTER systems, ELECTRONIC systems, COMPUTER software, SOFTWARE engineering

Viewpoint Personal Data and the Internet of Things: It is time to care about digital provenance.

Autoři: Pasquier, Thomas Eyers, David Bacon, Jean

Zdroj: Communications of the ACM; Jun2019, Vol. 62 Issue 6, p32-34, 3p

Témata: INTERNET of things, DATA protection, INTERNET security, PERSONAL information management, SOFTWARE engineering

A Systematic Survey of Self-Protecting Software Systems.

Autoři: YUAN, ERIC ESFAHANI, NAEEM MALEK, SAM

Zdroj: ACM Transactions on Autonomous & Adaptive Systems; 2013, Vol. 8 Issue 4, p17:1-17:41, 41p

Témata: SOFTWARE engineering, AUTONOMIC computing, COMPUTER security, ADAPTIVE computing systems, COMPUTER software, FUTURES studies

Refinement Types for Secure Implementations.

Autoři: Bengtson, Jesper Bhargavan, Karthikeyan Fournet, Cédric a další

Zdroj: ACM Transactions on Programming Languages & Systems; Mar2011, Vol. 33 Issue 2, p8-8:45, 45p

Témata: SOURCE code, CRYPTOGRAPHY, COMPUTER security software, COMPUTER access control, CALCULUS, F# (Computer program language), AUTHENTICATION (Law), SOFTWARE engineering

Unconditional self-modifying code elimination with dynamic compiler optimizations

Autoři: Gnaedig, Isabelle Kaczmarek, Matthieu Reynaud, Daniel a další

Přispěvatelé: Gnaedig, Isabelle Kaczmarek, Matthieu Reynaud, Daniel a další

Zdroj: 5th International Conference on Malicious and Unwanted Software
https://inria.hal.science/inria-00538376
5th International Conference on Malicious and Unwanted Software, Fernando C. Colón Osorio, Oct 2010, Nancy, France

Témata: malware, packing, self-modifying code, slicing techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General/D.2.0.0: Protection mechanisms, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.4: Invasive software (e.g., viruses, worms, Trojan horses), ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.6: Verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: Nancy, France

Dostupnost: https://inria.hal.science/inria-00538376
https://inria.hal.science/inria-00538376v1/document
https://inria.hal.science/inria-00538376v1/file/packer.pdf

Harmonising Contributions: Exploring Diversity in Software Engineering through CQA Mining on Stack Overflow.

Autoři: Zolduoarrati, Elijah Licorish, Sherlock A. Stanger, Nigel

Zdroj: ACM Transactions on Software Engineering & Methodology; Sep2024, Vol. 33 Issue 7, p1-54, 54p

Témata: QUESTION & answer websites, WEALTH inequality, SWARM intelligence, SOFTWARE engineering, CITIES & towns

Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study

Autoři: Le Métayer, Daniel Maarek, Manuel Mazza, Eduardo a další

Přispěvatelé: Le Métayer, Daniel Maarek, Manuel Mazza, Eduardo a další

Zdroj: ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010) ; https://inria.hal.science/inria-00472287 ; ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May 2010, Cape Town, South Africa. pp.135--144, ⟨10.1145/1806799.1806823⟩ ; http://doi.acm.org/10.1145/1806799.1806823

Témata: Liability, Contract, Formal Methods, Specication, Defects, Legal Aspects, Evidence, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering

Geografické téma: Cape Town, South Africa

Time: Cape Town, South Africa

Dostupnost: https://inria.hal.science/inria-00472287
https://inria.hal.science/inria-00472287v3/document
https://inria.hal.science/inria-00472287v3/file/20100608-ICSE-HAL-version-with-DOI.pdf
https://doi.org/10.1145/1806799.1806823