| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465945103316 |
|
|
Titolo |
Algebraic System Specification and Development [[electronic resource] ] : A Survey and Annotated Bibliography / / edited by Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1991.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 184 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 501 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer organization |
Computer Systems Organization and Communication Networks |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Basic foundations -- Models and logics -- Development concepts -- Support tools -- Applications. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development, as its range of applications was extended to the specification of complete software systems, to the formal description of the program development process, and to the uniform definition of syntax and semantics of programming languages. Today this approach extends beyond just software to the development of integrated hardware and software systems. These flourishing activities in the area of algebraic specifications have led to an abundance of approaches, theories and concepts, which have universal algebra, category theory and logic as a common mathematical basis. This volume is an annotated bibliography which provides an up-to-date overview of past and present work on algebraic specification. No attempt is made to provide a coherent introduction to the topic for beginners; the intention is rather to provide a guide to the current literature for researchers in algebraic specification and neighboring fields. Some indications of how the different approaches are related are |
|
|
|
|
|
|
|
|
|
|
|
|
|
included, together with some ideas concerning possible future directions. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910554832303321 |
|
|
Autore |
Carey Marcus J |
|
|
Titolo |
Tribe of hackers red team : tribal knowledge from the best in offensive cybersecurity / / Marcus J Carey, Jennifer Jin |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Indianapolis, Indiana : , : Wiley, , [2019] |
|
©2019 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-119-64333-3 |
1-119-64335-X |
1-119-64336-8 |
|
|
|
|
|
|
|
|
Edizione |
[1st edition] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (290 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Marcus J. Carey -- David Bell -- Paul Brager -- Beau Bullock -- Christopher Campbell -- Stephanie Carruthers -- Mark Clayton -- Ben Donnelly -- Skip Duckwall -- Ronald Eddings -- Justin Elze -- Mike Felch -- Kevin Figueroa -- Marco Figueroa -- Jared Folkins -- Rob Fuller -- Patrick Fussell -- Chris Gates -- Brian Genz -- Jared Haight -- Stephen Hilt -- Brent Kennedy -- David Kennedy -- Maggie Ligon -- Jeffrey Man -- Tim MalcomVetter -- Brandon McCrillis -- Oddvar Moe -- Chris Nickerson -- Ryan O'Horo -- Carlos Perez -- Francesc Rodriguez -- Derek Rook -- Isaiah Sarju -- Mary Sawyer -- Bradley Schaufenbuel -- Tinker Secor -- Jayson E. Street -- Chris Truncer -- Carl Vincent -- Georgia Weidman -- Adam Willard -- Jake Williams -- Robert Willis -- Robin Wood -- Wirefall -- Phillip Wylie. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Want Red Team offensive advice from the biggest cybersecurity names in the industry? Join our tribe. The Tribe of Hackers team is back with a new guide packed with insights from dozens of the world’s leading Red Team security specialists. With their deep knowledge of system |
|
|
|
|
|
|
|
|
|
|
vulnerabilities and innovative solutions for correcting security flaws, Red Team hackers are in high demand. Tribe of Hackers Red Team: Tribal Knowledge from the Best in Offensive Cybersecurity takes the valuable lessons and popular interview format from the original Tribe of Hackers and dives deeper into the world of Red Team security with expert perspectives on issues like penetration testing and ethical hacking. This unique guide includes inspiring interviews from influential security specialists, including David Kennedy, Rob Fuller, Jayson E. Street, and Georgia Weidman, who share their real-world learnings on everything from Red Team tools and tactics to careers and communication, presentation strategies, legal concerns, and more Learn what it takes to secure a Red Team job and to stand out from other candidates Discover how to hone your hacking skills while staying on the right side of the law Get tips for collaborating on documentation and reporting Explore ways to garner support from leadership on your security proposals Identify the most important control to prevent compromising your network Uncover the latest tools for Red Team offensive security Whether you’re new to Red Team security, an experienced practitioner, or ready to lead your own team, Tribe of Hackers Red Team has the real-world advice and practical guidance you need to advance your information security career and ready yourself for the Red Team offensive. |
|
|
|
|
|
| |