Magnus Bergquist, Jan Ljungberg, Srinarayan Sharma, Vijayan Sugumaran, Balaji Rajagopalan,
... the issues on three projects, Debian GNU/Linux, OpenBSD and Sun Solaris the Debian and OpenBSD being open source projects while the Solaris system is closed source. The findings reveal that OpenBSD scores both highest in terms of security features ... for the other two. The high score for OpenBSD is argued to be due to the very ...
Tópico(s): Mobile Crowdsensing and Crowdsourcing
2002 - Wiley | Information Systems Journal
Liguo Yu, Stephen R. Schach, Kai Chen, Gillian Z. Heller, Jeff Offutt,
... open-source operating systems: Linux, FreeBSD, NetBSD, and OpenBSD. We used our categorization of common coupling in ... ratio, Linux compared unfavorably with FreeBSD, NetBSD, and OpenBSD. Accordingly, we are concerned about the future maintainability ...
Tópico(s): Software Testing and Debugging Techniques
2005 - Elsevier BV | Journal of Systems and Software
Catherine A. Dodge, Cynthia Irvine, Thuy Nguyen,
... boot loader. Specifically, the ways in which the OpenBSD and Linux operating systems handle initialization are dissected.
Tópico(s): Advanced Data Storage Technologies
2005 - Association for Computing Machinery | ACM SIGOPS Operating Systems Review
Efstratios Chatzoglou, Georgios Kambourakis, Constantinos Kolias,
... 6 certified and non-certified equipment and the OpenBSD's hostapd, we expose a significant number of ...
Tópico(s): IPv6, Mobility, Handover, Networks, Security
2021 - Elsevier BV | Journal of Information Security and Applications
Shankara Pailoor, Xinyu Wang, Hovav Shacham, Işıl Dillig,
... called Abhayaand experimentally evaluate it 493 Linux and OpenBSD applications by automatically synthesizing Seccomp-bpfand Pledgepolicies. Our ...
Tópico(s): Software Testing and Debugging Techniques
2020 - Association for Computing Machinery | Proceedings of the ACM on Programming Languages
A. B. Vavrenyuk, Victor V. Makarov, V. S. Pryakhin, M. P. Pavlov, Алена Васильева,
This report discusses the principles of the development of cluster computing systems based on single-board computers. It reviews main software and hardware used for this purpose and compares them. The analysis is carried out and the most effective and suitable solutions are selected, as well as the rationale for their choice to solve the problem. It was reviewed three variants of single-board computers, operating system choice and different message passing interfaces that can to be used for this ...
Tópico(s): Distributed and Parallel Computing Systems
2020 - Springer Nature (Netherlands) | Mechanisms and machine science
Tomasz Magdziarz, Karolina Mitusińska, Sandra Gołdowska, Alicja Płuciennik, Michał Stolarczyk, Magdalena Ługowska, Artur Góra,
... solvents, ions. Availability and Implementation Linux, Windows, macOS, OpenBSD, http://www.aquaduct.pl. Supplementary information Supplementary data ...
Tópico(s): Spectroscopy and Quantum Chemical Studies
2017 - Oxford University Press | Bioinformatics
Edgar Pek, Xiaokang Qiu, P. Madhusudan,
... structures, well-known open source library routines (Glib, OpenBSD), Linux kernel routines, customized OS data structures, etc. ...
Tópico(s): Security and Verification in Computing
2014 - Association for Computing Machinery | ACM SIGPLAN Notices
Sándor Répás, P. Farnadi, Gábor Lencse,
... the Linux system and the PF of the OpenBSD system can be effectively used in a production ...
Tópico(s): Embedded Systems Design Techniques
2014 - | Acta Technica Jaurinensis
Xiaokang Qiu, Pranav Garg, Andrei Ştefănescu, P. Madhusudan,
... level C routines from the Glib library and OpenBSD library, the Linux kernel, and routines from a ...
Tópico(s): Security and Verification in Computing
2013 - Association for Computing Machinery | ACM SIGPLAN Notices
I. Antcheva, M. Ballintijn, B. Bellenot, M. Biskup, R. Brun, N. Buncic, Philippe Canal, D. Casadei, O. Couet, V. Fine, L. Franco, G. Ganis, A. Gheata, D. Gonzalez Maline, M. Goto, J. Iwaszkiewicz, A. Kreshuk, D. Marcos Segura, R. Maunder, L. Moneta, N. A. Naumann, E. Offermann, V. Onuchin, S. Panacek, F. Rademakers, P. Russo, Matevž Tadel,
... Windows XP/Vista/7, Mac OS X, FreeBSD, OpenBSD, Solaris, HP-UX, AIX Has the code been ...
Tópico(s): Computational Physics and Python Applications
2011 - Elsevier BV | Computer Physics Communications
Lars Kraemer, Bánk Beszteri, Steffi Gäbler‐Schwarz, Christoph Held, Florian Leese, Christoph Mayer, Kevin Pöhlmann, Stephan Frickenhaus,
... analysis steps. The software is available under the OpenBSD License [1, 2]. The high efficiency of our ...
Tópico(s): Genomics and Phylogenetic Studies
2009 - BioMed Central | BMC Bioinformatics
Angelos D. Keromytis, Jason L. Wright, Theo de Raadt, Matthew Burnside,
... this new type of resource.We present the OpenBSD Cryptographic Framework (OCF), a service virtualization layer implemented ...
Tópico(s): Advanced Data Storage Technologies
2006 - Association for Computing Machinery | ACM Transactions on Computer Systems
Paul Luo Li, Mary Shaw, Jim Herbsleb, Bonnie K. Ray, P. Santhanam,
... commercial middleware system, an open source operating system (OpenBSD), and an open source middleware system (Tomcat). We ...
Tópico(s): Reliability and Maintenance Optimization
2004 - Association for Computing Machinery | ACM SIGSOFT Software Engineering Notes
Yichen Xie, Andy Chou, Dawson Engler,
... large open source software projects --- such as Linux, OpenBSD, Sendmail, and PostgreSQL --- and have found errors in ...
Tópico(s): Security and Verification in Computing
2003 - Association for Computing Machinery | ACM SIGSOFT Software Engineering Notes
Frank Dabek, M. Frans Kaashoek, David R. Karger, Robert Morris, Ion Stoica,
... SFS file system toolkit and runs on Linux, OpenBSD, and FreeBSD. Experience on a globally deployed prototype ...
Tópico(s): Advanced Data Storage Technologies
2001 - Association for Computing Machinery | ACM SIGOPS Operating Systems Review
Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, Benjamin Chelf,
... bugs in real systems such as Linux and OpenBSD. From our experience, they give a dramatic reduction ...
Tópico(s): Software Reliability and Analysis Research
2001 - Association for Computing Machinery | ACM SIGOPS Operating Systems Review
Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson Engler,
... static, compiler analysis applied to the Linux and OpenBSD kernels. Our approach differs from previous studies that ...
Tópico(s): Software Testing and Debugging Techniques
2001 - Association for Computing Machinery | ACM SIGOPS Operating Systems Review
Slinger Jansen, Anthony McGregor,
... between the TCP implementations found in Linux, FreeBSD, OpenBSD and Windows XP.
Tópico(s): Caching and Content Delivery
2005 - Springer Science+Business Media | Lecture notes in computer science
Produção Nacional
Revisado por pares
João Paulo S. Medeiros, Agostinho M. Brito suffix Jr. suffix, Paulo S. Motta Pires, Selan Rodrigues dos Santos,
... We also present a novel method that detects OpenBSD PF SYN Proxy and Honeyd. This detection of ... the presented data is not fake and the OpenBSD PF SYN Proxy detection shows which nodes are ...
Tópico(s): Network Security and Intrusion Detection
2009 - Inderscience Publishers | International Journal of System of Systems Engineering
Nicolas Buisine, Ronald Chalmers,
... Linux, and the various BSD systems (FreeBSD, NetBSD, OpenBSD). To use yBlast, the BLAST software (1) or ...
Tópico(s): Molecular Biology Techniques and Applications
2004 - Future Science Ltd | BioTechniques
... wrapper to use the queue.h library of OpenBSD, in order to have access to a fast ...
Tópico(s): Polynomial and algebraic computation
2016 - SIGSAM | ACM communications in computer algebra
Charles J. Antonelli, Peter Honeyman,
... traffic. The Vault implementation, based on Linux and OpenBSD, is open-source.
Tópico(s): Smart Grid Security and Resilience
2001 - SPIE | Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE
Gábor Lencse, Keiichi Shima, Kenjiro Cho,
... stateful NAT64 implementations: Jool, tayga plus iptables, and OpenBSD Packet Filter (PF). The details of the measurements ...
Tópico(s): Advanced Battery Technologies Research
2023 - Elsevier BV | Computer Communications
... savings is in licenses. Using the Linux or OpenBSD operating system can reduce the need to license ...
Tópico(s): Library Science and Administration
2009 - American Library Association | Library Technology Reports
Jian Shi, Deqing Zou, Shouhuai Xu, Xianjun Deng, Hai Jin,
... Schechter (USENIX Security’2006) analyzed the evolution of OpenBSD vulnerabilities over the span of 7 years (1998- ... extend their study by analyzing the evolution of OpenBSD vulnerabilities over the span of 22 years (1998- ... a number of insights, including the following: both OpenBSD and Firefox get more secure (i.e., less ... developers do not necessarily produce more secure code; OpenBSD and Firefox developers tend to make similar security ... is almost one order of magnitude higher than OpenBSD’s, meaning Firefox is more vulnerable.
Tópico(s): Security and Verification in Computing
2022 - IEEE Computer Society | IEEE Transactions on Dependable and Secure Computing
Adriana Nicolae, Paul Irofti, Ioana Leuştean,
The seL4 microkernel is currently the only kernel that has been fully formally verified. In general, the increased interest in ensuring the security of a kernel’s code results from its important role in the entire operating system. One of the basic features of an operating system is that it abstracts the handling of devices. This abstraction is represented by device drivers - the software that manages the hardware. A proper verification of the software component could ensure that the device would ...
Tópico(s): Distributed systems and fault tolerance
2024 - Springer Science+Business Media | Lecture notes in computer science
Matthew Burnside, Angelos D. Keromytis,
... 100%. We describe our prototype implementation for the OpenBSD operating system and quantify its performance implications.
Tópico(s): Internet Traffic Analysis and Secure E-voting
2005 - ACM SIGARCH | ACM SIGARCH Computer Architecture News
Tópico(s): Distributed and Parallel Computing Systems
2000 - Belltown Media | Linux journal
... administrators. The Crawford County Federated Library System uses OpenBSD on some of its servers, including those that ... FIGURE 1 OMITTED] Ubuntu website www.ubuntu.com OpenBSD, FreeBSD The OpenBSD operating system is a variant of Berkeley Standard ... download for all derivatives of GNU copyrighted code. OpenBSD is licensed so that the code can be ... Standard Unix that may include GPL licensed code. OpenBSD FreeBSD are not often used for desktop computing ... of the Crawford County Federated Library System use OpenBSD for some server applications, including running the LTSP ...
Tópico(s): Distributed and Parallel Computing Systems
2009 - American Library Association | Library Technology Reports