shopkeeper/korean_wiki_content_only_120125 huggingface dataset:
L4Ka::Pistachio와 Fiasco의 최신 버전이 출시될 때까지 모든 L4 마이크로커널은 기본 CPU 아키텍처에 본질적으로 밀접하게 묶여 있었다. L4 개발의 다음 큰 변화는 더 높은 수준의 이식성에도 불구하고 여전히 고성능 특성을 유지하는 크로스 플랫폼(플랫폼 독립적) API의 개발이었다. 커널의 기본 개념은 동일했지만, 새로운 API는 다중 프로세서 시스템에 대한 더 나은 지원, 스레드와 주소 공간 간의 더 느슨한 연결, 사용자 수준 스레드 제어 블록(UTCB) 및 가상 레지스터의 도입을 포함하여 이전 L4 버전에 비해 많은 중요한 변경 사항을 제공했다. 2001년 초에 새로운 L4 API (버전 X.2 일명 버전 4)를 출시한 후, 카를스루에 대학교의 시스템 아키텍처 그룹은 고성능과 이식성 모두에 중점을 둔 새로운 커널 L4Ka::Pistachio를 완전히 처음부터 구현했다. 이 커널은 2절 BSD 허가서에 따라 출시되었다.
최신 Fiasco 버전.
L4/Fiasco 마이크로커널도 수년간 광범위하게 개선되었다. 이제 x86, AMD64부터 여러 ARM 플랫폼에 이르는 여러 하드웨어 플랫폼을 지원한다. 특히, Fiasco 버전(Fiasco-UX)은 리눅스에서 사용자 수준 애플리케이션으로 실행될 수 있다.
L4/Fiasco는 L4v2 API에 대한 몇 가지 확장을 구현한다. 예외 IPC를 통해 커널은 CPU 예외를 사용자 수준 핸들러 애플리케이션으로 보낼 수 있다. alien thread의 도움으로 시스템 호출에 대한 세밀한 제어가 가능하다. X.2 스타일 UTCB가 추가되었다. 또한 Fiasco는 통신 권한 및 커널 수준 리소스 사용을 제어하는 메커니즘을 포함한다. Fiasco에서는 (2019년 5월 현재) 현재 리눅스 버전 (4.19)을 (L4Linux라고 불리는) 가상화하는 데 사용되는 기본 사용자 수준 서비스 모음(L4Env라고 불림)이 개발되었다.
뉴사우스웨일스 대학교 및 NICTA.
개발은 뉴사우스웨일스 대학교 (UNSW)에서도 이루어졌으며, 이곳에서 개발자들은 여러 64비트 플랫폼에서 L4를 구현했다. 이들의 작업은 L4/MIPS 및 L4/Alpha를 만들어냈고, 리트케의 원래 버전은 소급하여 L4/x86으로 명명되었다. 리트케의 원래 커널처럼, UNSW 커널(어셈블리와 C의 혼합으로 작성됨)은 이식성이 없었으며 각각 처음부터 구현되었다. 고도로 이식 가능한 L4Ka::Pistachio가 출시되면서 UNSW 그룹은 자체 커널을 포기하고 L4Ka::Pistachio의 고도로 튜닝된 포트를 생산하는 데 집중했으며, 여기에는 역사상 가장 빠른 메시지 전달 구현(아이테니엄 아키텍처에서 36사이클)이 포함되었다. 이 그룹은 또한 장치 드라이버가 커널 내부와 마찬가지로 사용자 수준에서도 동등하게 잘 작동할 수 있음을 입증했으며, x86, ARM, MIPS 프로세서에서 실행되는 L4 기반 리눅스의 고도로 이식 가능한 버전인 Wombat을 개발했다. XScale 프로세서에서 Wombat의 컨텍스트 전환 비용은 기본 리눅스보다 최대 50배 낮다.
나중에 현재 NICTA(이전 National ICT Australia, Ltd.)에 있는 UNSW 그룹은 L4Ka::Pistachio를 NICTA::L4-embedded라는 새로운 L4 버전으로 분기했다. 이 버전은 상업용 임베디드 시스템에 사용되었으며, 결과적으로 구현 트레이드오프는 작은 메모리 크기와 단순화된 복잡성을 선호했다. 높은 실시간 응답성을 보장하기 위해 거의 모든 시스템 호출이 선점 지점이 필요 없을 정도로 짧게 유지되도록 API가 수정되었다.
상업적 배포.
2005년 11월, NICTA는 퀄컴이 자사의 Mobile Station Modem 칩셋에 NICTA의 L4 버전을 배포하고 있다고 발표했다. 이로 인해 2006년 말부터 판매되는 휴대 전화 핸드셋에 L4가 사용되었다. 2006년 8월, ERTOS 리더이자 UNSW 교수인 게르넛 하이저는 상업용 L4 사용자를 지원하고 NICTA와 긴밀히 협력하여 OKL4라는 브랜드 이름으로 상업용 L4를 추가로 개발하기 위해 오픈 커널 랩스 (OK Labs)라는 회사를 설립했다. 2008년 4월에 출시된 OKL4 μKernel 버전 2.1은 역량 기반 보안을 특징으로 하는 최초의 일반 공급 L4 버전이었다. 2008년 10월에 출시된 OKL4 μKernel 3.0은 OKL4 μKernel의 마지막 오픈 소스 버전이었다. 최신 버전은 OKL4 마이크로바이저라는 네이티브 하이퍼바이저 변형을 지원하기 위한 재작성을 기반으로 한 클로즈드 소스이다. OK Labs는 또한 Wombat의 후손인 OK:Linux라는 가상화된 리눅스와 심비안 OS 및 안드로이드의 가상화된 버전을 배포했다. OK Labs는 또한 NICTA로부터 seL4에 대한 권리를 획득했다.
OKL4 출하량은 2012년 초에 15억 개를 넘어섰으며, 대부분 퀄컴 무선 모뎀 칩에 탑재되었다. 다른 배포에는 자동차 인포테인먼트 시스템이 포함된다.
애플 A 시리즈 프로세서 중 A7부터는 2006년 NICTA에서 개발한 L4-embedded 커널을 기반으로 하는 sepOS(Secure Enclave Processor OS)라는 L4 운영체제를 실행하는 Secure Enclave 코프로세서를 포함한다.
그 결과, 애플 실리콘을 탑재한 Mac을 포함한 모든 최신 애플 기기에 L4가 탑재되어 있다. 2015년에만 아이폰의 총 출하량은 3억 1천만 대로 추정되었다.
고신뢰성: seL4.
2006년에 NICTA 그룹은 공통평가기준과 그 이상과 같은 보안 요구사항을 충족시키는 데 적합한 고도로 안전하고 신뢰할 수 있는 시스템을 위한 기반을 제공하기 위해 seL4라는 3세대 마이크로커널을 처음부터 설계하기 시작했다. 처음부터 개발은 커널의 형식 검증을 목표로 했다. 성능과 검증이라는 때로는 상충되는 요구사항을 쉽게 충족하기 위해 팀은 하스켈 언어로 작성된 실행 가능한 명세에서 시작하는 중간-아웃 소프트웨어 프로세스를 사용했다.
seL4는 객체 접근성에 대한 형식적 추론을 가능하게 하는 역량 기반 보안 접근 제어를 사용한다.
기능적 정확성에 대한 형식 증명은 2009년에 완료되었다.
이 증명은 커널의 구현이 사양에 대해 정확하다는 것을 보장하며, 교착 상태, 라이블록, 버퍼 오버플로, 산술 예외 또는 초기화되지 않은 변수 사용과 같은 구현 버그가 없음을 의미한다. seL4는 검증된 최초의 범용 운영체제 커널이라고 주장된다. seL4에 대한 작업은 2019년 ACM SIGOPS 명예의 전당 상을 수상했다.
seL4는 커널 리소스 관리에 대한 새로운 접근 방식을 취하여 커널 리소스 관리를 사용자 수준으로 내보내고 사용자 리소스와 동일한 역량 기반 접근 제어를 적용한다. 배럴피시도 채택한 이 모델은 격리 속성에 대한 추론을 단순화했으며, 나중에 seL4가 무결성 및 기밀성의 핵심 보안 속성을 시행한다는 증명을 가능하게 했다. NICTA 팀은 또한 C 프로그래밍 언어에서 실행 가능한 기계어로의 번역의 정확성을 증명하여 컴파일러를 seL4의 신뢰할 수 있는 컴퓨팅 기반에서 제외시켰다.
이는 커널 실행 파일에 대한 상위 수준 보안 증명이 유효함을 의미한다. seL4는 또한 하드 실시간 컴퓨팅에 사용하기 위한 전제 조건인 완전하고 건전한 최악 실행 시간(WCET) 분석을 포함하는 최초의 보호 모드 OS 커널이다.
2014년 7월 29일, NICTA와 General Dynamics C4 Systems는 종단간 증명을 포함하는 seL4가 이제 오픈 소스 사용권으로 출시되었다고 발표했다.
커널 소스 코드 및 증명은 GNU 일반 공중 사용 허가서 버전 2(GPLv2)에 따라 사용이 허가되었으며, 대부분의 라이브러리 및 도구는 BSD 2절에 따라 허가되었다. 2020년 4월, seL4의 개발 및 배포를 가속화하기 위해 리눅스 재단 산하에 seL4 재단이 설립되었다고 발표되었다.
연구원들은 형식적 소프트웨어 검증 비용이 기존의 "고신뢰성" 소프트웨어 엔지니어링 비용보다 낮음에도 불구하고 훨씬 더 신뢰할 수 있는 결과를 제공한다고 말한다. 특히, seL4 개발 중 코드 한 줄당 비용은 약 으로 추정되며, 기존 고신뢰성 시스템의 경우 과 비교된다.
방위고등연구계획국(DARPA) 고신뢰성 사이버 군사 시스템(HACMS) 프로그램에 따라 NICTA는 프로젝트 파트너인 로크웰 콜린스, Galois Inc, 미네소타 대학교 및 보잉과 함께 seL4와 다른 보증 도구 및 소프트웨어를 사용하여 고신뢰성 드론을 개발했으며, 보잉이 개발 중인 선택적 유인 자율 보잉 AH-6 무인 리틀 버드 헬리콥터에 기술 이전을 계획했다. HACMS 기술의 최종 시연은 2017년 4월 버지니아주 스털링에서 진행되었다. DARPA는 또한 존 런치베리가 시작한 프로그램에 따라 seL4 관련 중소기업 혁신 연구(SBIR) 계약에 자금을 지원했다. seL4 관련 SBIR을 받은 중소기업은 DornerWorks, Techshot, Wearable Inc, Real Time Innovations 및 Critical Technologies였다.
2023년 10월, 니오 (기업)는 자사의 seL4 기반 SkyOS 운영체제가 2024년부터 양산되는 전기차에 탑재될 것이라고 발표했다.
2023년에 seL4는 ACM 소프트웨어 시스템 상을 수상했다.
기타 연구 및 개발.
하스켈로 작성된 OS인 Osker는 L4 사양을 목표로 했다. 이 프로젝트는 마이크로커널 연구가 아니라 OS 개발을 위한 함수형 프로그래밍 언어 사용에 주로 초점을 맞추었다.
레독스 OS는 seL4에서 영감을 얻었으며 마이크로커널 설계를 사용하는 Rust 기반 운영체제이다.
CodeZero는 가상화 및 네이티브 OS 서비스 구현에 중점을 둔 임베디드 시스템용 L4 마이크로커널이다. GPL 라이선스 버전과 B Labs Ltd.에서 라이선스를 다시 부여하고 엔비디아가 인수한 후 2010년에 클로즈드 소스로 분기된 버전이 있다.
F9 마이크로커널은 메모리 보호 기능이 있는 임베디드 장치용 ARM Cortex-M 프로세서 전용의 BSD 라이선스 L4 구현이다.
NOVA OS 가상화 아키텍처는 작은 신뢰할 수 있는 컴퓨팅 기반으로 안전하고 효율적인 가상화 환경을 구축하는 데 중점을 둔 연구 프로젝트이다.
NOVA는 마이크로 하이퍼바이저, 사용자 수준 하이퍼바이저 (가상 머신 모니터) 및 그 위에서 실행되는 비특권 구성 요소화된 다중 서버 사용자 환경인 NUL로 구성된다. NOVA는 ARMv8-A 및 x86 기반 멀티 코어 시스템에서 실행된다.
WrmOS는 L4 마이크로커널을 기반으로 하는 실시간 운영체제이다. 커널, 표준 라이브러리 및 네트워크 스택의 자체 구현을 가지고 있으며 ARM, SPARC, x86 및 x86-64 아키텍처를 지원한다. WrmOS에서 작동하는 가상화된 리눅스 커널(w4linux)이 있다.
Helios는 seL4에서 영감을 받은 마이크로커널이다. Ares 운영체제의 일부이며 x86-64 및 aarch64를 지원하며 2023년 2월 현재 활발히 개발 중이다.
증거법에서 디지털 증거(Digital evidence) 또는 전자 증거는 법정 소송 당사자가 재판에서 사용할 수 있는, 디지털 형태로 저장되거나 전송된 모든 입증적 정보이다. 법원은 디지털 증거를 받아들이기 전에 해당 증거가 관련성이 있는지, 진본인지, 전문증거인지, 사본이 허용되는지 아니면 원본이 필요한지 여부를 판단한다.
지난 수십 년 동안 이메일, 디지털 사진, ATM 거래 기록, 문서 처리 문서, 인스턴트 메시지 기록, 회계 프로그램에서 저장된 파일, 스프레드시트, 웹 브라우저 기록, 데이터베이스, 컴퓨터 메모리 내용, 컴퓨터 백업, 컴퓨터 인쇄물, GPS, 호텔 전자 도어록 기록, 디지털 영상 또는 오디오 파일의 사용이 허용되면서 디지털 증거의 사용이 증가했다.
미국의 많은 법원은 기존 문서와 유사한 방식으로 연방증거법을 디지털 증거에 적용했지만, 확립된 표준 및 절차의 부재와 같은 중요한 차이점이 지적되었다. 또한, 디지털 증거는 더 방대하고, 파괴하기 어렵고, 쉽게 수정할 수 있으며, 쉽게 복제할 수 있고, 잠재적으로 더 표현력이 풍부하며, 더 쉽게 이용할 수 있는 경향이 있다. 따라서 일부 법원은 인증, 전문증거, 최량증거원칙, 증언거부특권의 목적을 위해 디지털 증거를 다르게 취급하기도 했다. 2006년 12월, 전자적으로 저장된 증거의 보존 및 공개를 요구하는 엄격한 새 규칙이 연방민사소송규칙 내에서 제정되었다. 디지털 증거는 쉽게 수정될 수 있다는 이유로 종종 진위 여부에 대한 공격을 받지만, 법원은 조작 증거 없이는 이러한 주장을 기각하기 시작하고 있다.
디지털 증거는 승인 없이 취득되었다는 이유로 법원에서 허용될 수 없는 증거로 판결되는 경우가 많다. 대부분의 관할권에서는 디지털 장치를 압수수색하기 위해 영장이 필요하다. 디지털 조사에서는 예를 들어 다른 범죄를 조사하는 동안 다른 범죄의 증거가 식별되는 경우 문제가 발생할 수 있다. 1999년 사이버 스토킹에 대한 조사 중 수사관들은 키스 슈로더의 컴퓨터에서 아동 포르노 이미지를 발견했다. 이 증거를 사용하여 슈로더를 기소하려면 두 번째 영장을 받아야 했다.
모든 증거와 마찬가지로, 디지털 증거의 제안자는 적절한 기초를 마련해야 한다. 법원은 그러한 디지털 증거의 신뢰성에 주로 관심을 가졌다. 이에 따라 초기 법원 판결은 인증에 "더욱 포괄적인 기초"가 필요하다고 요구했다. US v. Scholle, 553 F.2d 1109 (8th Cir. 1976). 법원이 디지털 문서에 더 익숙해지면서 그들은 더 높은 기준에서 벗어나 "컴퓨터 데이터 편집물...은 다른 기록과 마찬가지로 취급되어야 한다"고 판결했다. US v. Vela, 673 F.2d 86, 90 (5th Cir. 1982).
디지털 증거에 대한 일반적인 공격은 디지털 미디어가 쉽게 변경될 수 있다는 것이다. 그러나 2002년 미국 법원은 "컴퓨터에 포함된 데이터를 변경할 수 있다는 사실은 신뢰할 수 없음을 입증하기에 명백히 불충분하다"고 판결했다 (US v. Bonallo, 858 F. 2d 1427–1988 – Court of Appeals, 9th).
그럼에도 불구하고, Scholle이 요구했던 "더욱 포괄적인" 기초는 좋은 관행으로 남아 있다. 미국 법률 보고서는 포괄적인 기초를 확립하는 여러 가지 방법을 제시한다. 이는 제안자가 "컴퓨터 장비의 신뢰성", "기본 데이터가 처음 입력된 방식", "입력된 데이터의 정확성을 보장하기 위해 취한 조치", "데이터 저장 방법 및 손실 방지를 위해 취한 예방 조치", "데이터 처리에 사용된 컴퓨터 프로그램의 신뢰성", 그리고 "프로그램의 정확성을 확인하기 위해 취한 조치"를 입증해야 한다고 제안한다.
최량증거원칙은 법정에서 가장 신뢰할 수 있는 형태의 증거, 즉 원본 문서나 파일을 제시해야 한다는 법적 원칙이다. 디지털 증거가 관련된 경우, 이는 인쇄물이나 사본이 아닌 원본 디지털 파일을 제시해야 함을 의미한다. 그러나 디지털 파일과 메타데이터는 조작하기 비교적 쉽기 때문에 디지털 증거의 진위와 무결성을 입증하는 것은 어려울 수 있다. 따라서 명확한 관리 연속성을 확립하고 제시된 증거가 원본 상태에서 변경되지 않았음을 입증하는 것이 중요하다. 이 문제를 해결하기 위해 상업용 소프트웨어 기술 솔루션이 개발되어 디지털 증거를 원본 형태로 보존하고 법정 분쟁에서 증거능력을 위해 인증한다.
영국 경찰서장협의회(ACPO) 지침.
영국에서는 조사관들이 증거의 인증 및 무결성을 위해 일반적으로 경찰서장협의회 (ACPO)가 발행한 지침을 따른다. 이 지침은 2011년 10월에 컴퓨터 기반 증거가 더 넓은 맥락에서 정보 보안 사고 조사의 발전을 반영하여 디지털 증거로 대체되면서 버전 5로 업데이트되었다. 이 지침은 네 가지 원칙으로 구성된다.
원칙 1: 법 집행 기관, 해당 기관에 고용된 사람 또는 그들의 대리인이 취하는 어떤 조치도 나중에 법정에서 의존할 수 있는 데이터를 변경해서는 안 된다.
원칙 2: 원본 데이터에 접근해야 하는 경우, 해당 사람은 그렇게 할 능력이 있어야 하며 자신의 행동의 관련성과 의미를 설명하는 증거를 제시할 수 있어야 한다.
원칙 3: 디지털 증거에 적용된 모든 프로세스의 감사 추적 또는 기타 기록을 생성하고 보존해야 한다. 독립적인 제3자는 해당 프로세스를 검토하고 동일한 결과를 얻을 수 있어야 한다.
원칙 4: 조사를 담당하는 사람은 법과 이 원칙이 준수되도록 전반적인 책임이 있다.
이러한 지침은 잉글랜드와 스코틀랜드 법원에서 널리 받아들여지지만, 법적 요구 사항을 구성하지 않으며 그 사용은 자발적이다. 자발적임에도 불구하고, 준수하지 않으면 1984년 경찰 및 형사 증거법(불공정하게 얻은 증거를 배제할 권한) 제78조의 규정에 따라 증거가 거의 확실히 배제될 것이라고 주장할 수 있다.
아담스 원칙.
법 집행 이외의 영역에서 더 일반적인 적용을 위해 ACPO 지침을 기반으로 아담스의 박사 학위 논문은 디지털 포렌식 실무자가 따라야 할 다음의 포괄적인 원칙을 제안했다.
최량증거원칙.
디지털 증거는 인간이 읽을 수 있는 형식으로 거의 제공되지 않으므로 디지털 문서를 증거로 포함하기 위한 추가 단계(즉, 자료 인쇄)가 필요하다. 이러한 형식 변경으로 인해 디지털 증거가 "최량증거원칙"에 해당하지 않을 수 있다고 주장되어 왔다. 그러나 "연방증거법" 규칙 1001(3)은 "데이터가 컴퓨터에 저장되는 경우... 데이터를 정확하게 반영하는 것으로 나타나는 시각적으로 읽을 수 있는 모든 인쇄물 또는 기타 출력물은 '원본'이다"라고 명시하고 있다.
일반적으로 법원은 최량증거원칙에 따라 인쇄물을 금지하지 않는다. Aguimatang v. 캘리포니아 주 복권 사건에서 법원은 "컴퓨터 인쇄물은 '원본'으로 간주되므로 최량증거원칙을 위반하지 않는다"고 명시하며 디지털 증거의 허용 가능성에 대해 당연한 취급을 했다. 234 Cal. App. 3d 769, 798.
영상 증거.
영상 증거는 법정 재판에서 사용될 수 있는 비디오 클립이다.
CERT 코디네이션 센터(CERT Coordination Center, CERT/CC)는 비영리 미국 연방 기금 연구 개발 센터인 소프트웨어 공학 연구소 (SEI)의 컴퓨터 비상 대응팀 (CERT) 코디네이션 센터이다. CERT/CC는 소프트웨어 및 인터넷 보안에 영향을 미치는 소프트웨어 버그를 연구하고, 그 연구 결과 및 정보를 게시하며, 기업 및 정부와 협력하여 소프트웨어 및 인터넷 전반의 보안을 향상시킨다.
이러한 종류의 첫 번째 조직인 CERT/CC는 모리스 웜 사건에 대응하여 DARPA의 지시에 따라 1988년 11월 피츠버그에서 설립되었다. CERT/CC는 현재 소프트웨어 공학 연구소의 CERT 부서 소속이며, 이 부서에는 시스템 보안에 대한 사전 예방적 접근 방식을 취하는 프로젝트에 150명 이상의 사이버 보안 전문가가 근무하고 있다. CERT 프로그램은 정부, 산업계, 법 집행 기관 및 학계와 협력하여 대규모의 정교한 사이버 위협에 대응하기 위한 고급 방법 및 기술을 개발한다.
CERT 프로그램은 카네기 멜런 대학교 피츠버그 본교에 있는 연방 기금 연구 개발 센터(FFRDC)인 소프트웨어 공학 연구소 (SEI)의 일부이다. CERT는 카네기 멜런 대학교의 등록 상표이다.
US-CERT 및 기타 CERT와의 혼동.
2003년, 미국 국토안보부는 카네기 멜런 대학교와 US-CERT를 설립하기 위한 협약을 체결했다. US-CERT는 미국 국가 컴퓨터 보안 사고 대응팀(CSIRT)이다. 이러한 협력은 종종 CERT/CC와 US-CERT 간의 혼동을 야기한다. 관련되어 있긴 하지만, 두 조직은 별개의 독립체이다. 일반적으로 US-CERT는 미국 국가 안보와 관련된 사례를 처리하는 반면, CERT/CC는 더 일반적인 사례를, 종종 국제적으로 처리한다.
CERT/CC는 US-CERT 및 기타 컴퓨터 보안 사고 대응팀과 정보를 조율하며, 이들 중 일부는 "CERT"라는 이름을 사용할 수 있는 라이선스를 가지고 있다. 이들 조직은 카네기 멜런 대학교로부터 "CERT" 이름을 라이선스 받지만, 이들 조직은 자국에 설립된 독립적인 법인이며 CERT/CC에 의해 운영되지 않는다.
CERT/CC는 다양한 국가 CERT와 민간 제품 보안 사고 대응팀 (PSIRT) 간의 협력 및 정보 교환을 촉진하는 조직인 FIRST를 설립했다.
CERT/CC의 연구 작업은 여러 다른 작업 영역으로 나뉜다. 몇 가지 주요 역량 및 제품은 다음과 같다.
CERT/CC는 민간 부문의 소프트웨어 공급업체뿐만 아니라 정부 기관과 직접 협력하여 소프트웨어 취약점을 해결하고 대중에게 수정 사항을 제공한다. 이 과정을 조정이라고 한다.
CERT/CC는 책임 있는 조정된 공개(Responsible Coordinated Disclosure)라고 알려진 특정 조정 프로세스를 촉진한다. 이 경우, CERT/CC는 공개 보고서가 발행되기 전에 공급업체와 비공개로 협력하여 취약점을 해결하며, 일반적으로 공급업체 자체 보안 권고와 공동으로 이루어진다. 공급업체가 문제를 해결하려 하지 않거나 연락이 닿지 않는 극단적인 경우, CERT/CC는 첫 접촉 시도 후 45일 후에 정보를 공개적으로 공개한다.
CERT/CC에 의해 조정되는 소프트웨어 취약점은 내부 연구 또는 외부 보고에서 비롯될 수 있다. 외부 개인 또는 조직에 의해 발견된 취약점은 CERT/CC의 취약점 보고 양식을 사용하여 CERT/CC에 보고될 수 있다. 보고된 취약점의 심각도에 따라 CERT/CC는 취약점을 해결하고 소프트웨어 공급업체와 조율하기 위해 추가 조치를 취할 수 있다.
지식 베이스 및 취약점 노트.
CERT/CC는 CERT 지식 베이스에 정기적으로 취약점 노트를 발행한다. 취약점 노트에는 최근 연구되고 조정된 취약점에 대한 정보와 개인 및 조직이 그러한 취약점을 완화할 수 있는 방법이 포함되어 있다.
취약점 노트 데이터베이스는 포괄적이지 않다.
취약점 분석 도구.
CERT/CC는 보안 연구 커뮤니티에 여러 무료 도구를 제공한다. 제공되는 일부 도구는 다음과 같다.
CERT/CC는 연구원 또는 자체 PSIRT를 설립하려는 조직을 위한 교육 과정을 주기적으로 제공한다.
2014년 여름, 미국 연방 정부가 자금을 지원한 CERT 연구는 Tor의 익명성 해제에 핵심적인 역할을 했으며, FBI가 CERT로부터 소환한 정보는 그 해 가을 실크로드 2.0을 폐쇄하는 데 사용되었다.
FBI는 CMU에 사용자 익명성을 해제하기 위해 비용을 지불했다는 사실을 부인했으며,
CMU는 정부의 소환장 준수에 대한 자금 지원을 받았다는 사실을 부인했다.
수많은 불법 웹사이트를 폐쇄하고 최소 17명의 용의자를 체포하는 데 간접적으로 기여했음에도 불구하고, 이 연구는 여러 가지 문제를 제기했다.
CMU는 2015년 11월 성명에서 "...대학은 때때로 수행한 연구에 대한 정보를 요청하는 소환장을 받는다. 대학은 법의 지배를 따르고, 합법적으로 발행된 소환장을 준수하며, 준수에 대한 자금 지원을 받지 않는다"고 밝혔다. 하지만 마더보드는 FBI도 CMU도 당국이 처음에 연구에 대해 어떻게 알게 되었고 적절한 정보에 대한 소환장을 발부했는지 설명하지 않았다고 보도했다.
과거에 SEI는 언론의 문의에 대해 이 특정 연구의 성격을 설명하는 것을 거부하며 "문의해 주셔서 감사하지만, 법 집행 조사 또는 법원 절차에 대해서는 언급하지 않는 것이 우리의 관행이다"라고 말한 바 있다.
공학에서 전달 함수(transfer function), 전이 함수, 시스템 함수(system function) 또는 네트워크 함수(network function)는 시스템, 하위 시스템 또는 구성 요소의 각 가능한 입력에 대한 시스템의 출력을 수학적 함수로 모델링한 것이다. 이는 전자 회로 시뮬레이션 및 제어 시스템과 같은 전자공학 도구에 널리 사용된다. 간단한 경우, 이 함수는 독립 스칼라 입력과 종속 스칼라 출력의 2차원 그래프로 나타낼 수 있다(전달 곡선 또는 특성 곡선으로 알려져 있음). 구성 요소의 전달 함수는 전자공학 및 제어이론에서 특히 블록 다이어그램 기법을 사용하여 구성 요소로 조립된 시스템을 설계하고 분석하는 데 사용된다.
전달 함수의 차원과 단위는 가능한 입력 범위에 대한 장치의 출력 응답을 모델링한다. 앰프와 같은 2포트 전자 회로의 전달 함수는 입력에 가해지는 스칼라 전압의 함수로서 출력의 스칼라 전압의 2차원 그래프일 수 있다. 전자기 액추에이터의 전달 함수는 장치에 가해지는 전류의 함수로서 가동 팔의 기계적 변위일 수 있다. 광검출기의 전달 함수는 주어진 파장의 입사광의 광도 함수로서 출력 전압일 수 있다.
전달 함수라는 용어는 라플라스 변환과 같은 변환 방법을 사용하는 시스템의 주파수 영역 분석에서도 사용된다. 이는 입력 신호의 진동수 함수로서 출력의 진폭이다. 전자 필터의 전달 함수는 입력에 가해지는 일정한 진폭의 사인파의 진동수 함수로서 출력의 진폭이다. 광학 이미징 장치의 경우, 광학 전달 함수는 점 확산 함수(공간 주파수의 함수)의 푸리에 변환이다.
선형 시불변 시스템.
전달 함수는 신호 처리, 커뮤니케이션 이론, 제어이론에서 단일 입력 단일 출력 필터와 같은 시스템 분석에 일반적으로 사용된다. 이 용어는 종종 선형 시불변(LTI) 시스템만을 지칭하는 데 사용된다. 대부분의 실제 시스템은 비선형 입출력 특성을 가지지만, 명목상의 매개변수 내에서 작동하는 많은 시스템(과도하게 구동되지 않음)은 선형에 충분히 가까운 동작을 가지므로 LTI 시스템 이론이 해당 입출력 동작을 허용 가능한 표현으로 사용할 수 있다.
설명은 복소 변수 formula_1를 사용하여 주어진다. 많은 응용에서 formula_2 (따라서 formula_3)으로 설정하는 것으로 충분하며, 이는 복소 인수를 가진 라플라스 변환을 실수 인수 ω를 가진 푸리에 변환으로 축소시킨다. 이는 주로 LTI 시스템의 정상 상태 응답(종종 신호 처리 및 커뮤니케이션 이론의 경우)에 관심이 있고, 일시적인 켜짐 및 꺼짐 지나가는 반응 또는 안정성 문제는 아닌 응용에서 일반적이다.
연속 시간 입력 신호 formula_4 및 출력 formula_5의 경우, 출력의 라플라스 변환 formula_6을 입력의 라플라스 변환 formula_7으로 나누면 시스템의 전달 함수 formula_8가 얻어진다.
이는 다음과 같이 재배열할 수 있다:
이산 시간 신호는 정수 formula_11으로 색인된 배열로 표기될 수 있다(예: 입력의 경우 formula_12, 출력의 경우 formula_13). 라플라스 변환(연속 시간 신호에 더 적합함)을 사용하는 대신, 이산 시간 신호는 Z변환을 사용하여 처리된다(해당 대문자로 표기되며, 예를 들어 formula_14 및 formula_15와 같음). 따라서 이산 시간 시스템의 전달 함수는 다음과 같이 쓸 수 있다:
미분 방정식에서 직접 도출.
상수 계수를 가진 선형 미분 방정식
여기서 u와 r은 t의 적절하게 매끄러운 함수이며, L은 u를 r로 변환하는 관련 함수 공간에 정의된 연산자이다. 이러한 종류의 방정식은 강제 함수 r의 관점에서 출력 함수 u를 제한하는 데 사용될 수 있다. 전달 함수는 L의 오른쪽 역함수 역할을 하는 연산자 formula_18를 정의하는 데 사용될 수 있으며, 이는 formula_19을 의미한다.
동차 상수 계수 미분 방정식 formula_20의 해는 formula_21를 시도하여 찾을 수 있다. 이 대입은 특성 다항식을 생성한다.
비동차 사례는 입력 함수 r이 formula_23 형태일 경우 쉽게 해결할 수 있다. formula_24를 대입하여, 다음과 같이 정의하면 formula_25가 된다.
전달 함수의 다른 정의도 사용된다. 예를 들어 formula_27
이득, 지나가는 반응 및 안정성.
주파수 formula_28를 가진 시스템에 대한 일반적인 사인파 입력은 formula_29로 쓸 수 있다. 시간 formula_30에서 시작하는 사인파 입력에 대한 시스템의 응답은 정상 상태 응답과 지나가는 반응의 합으로 구성된다. 정상 상태 응답은 무한 시간의 한계에서 시스템의 출력이며, 지나가는 반응은 응답과 정상 상태 응답의 차이이다. 이는 미분방정식의 동차 해에 해당한다. LTI 시스템의 전달 함수는 다음 곱으로 쓸 수 있다.
여기서 sPi는 특성 다항식의 N개의 근이며, 전달 함수의 극점이 된다. 단일 극점 formula_32을 가진 전달 함수에서 formula_33일 때, 단위 진폭의 일반 사인파의 라플라스 변환은 formula_34가 된다. 출력의 라플라스 변환은 formula_35가 되며, 시간 출력은 그 함수의 역 라플라스 변환이 된다.
분자의 두 번째 항은 지나가는 반응이며, 무한 시간의 한계에서 σP가 양수이면 무한대로 발산한다. 시스템이 안정적이기 위해서는 전달 함수에 실수부가 양수인 극점이 없어야 한다. 전달 함수가 엄격하게 안정적이면 모든 극점의 실수부는 음수가 되며, 지나가는 반응은 무한 시간의 한계에서 0으로 수렴한다. 정상 상태 출력은 다음과 같다.
시스템의 주파수 응답 (또는 "이득") G는 출력 진폭 대 정상 상태 입력 진폭의 비율의 절대값으로 정의된다.
이는 formula_39에서 평가된 전달 함수 formula_40의 절대값이다. 이 결과는 임의의 수의 전달 함수 극점에 대해 유효하다.
사인파 여기(excitation)에 대한 정상 상태 동작.
선형 시스템의 정상 상태 동작
사인파 여기 formula_42에 대한 정상 상태 동작은 전달 함수의 형태로 표현될 수 있다.
이는 formula_44에서 평가되며, 즉 실수부 formula_45을 가진다.
이를 보이기 위해 다음 가상 함수를 사용한다.
이를 위 미분 방정식에 대입하고, formula_48에 대해 풀면 formula_49가 된다.
복소수 항등식 formula_50으로부터 이 결과가 도출된다.
formula_51가 일반 선형 시불변 시스템의 입력이고, formula_52가 출력이며, formula_51와 formula_52의 양측 라플라스 변환이
출력은 전달 함수 formula_40에 의해 입력과 다음과 같이 관련된다.
그리고 전달 함수 자체는
만약 진폭 formula_59, 각진동수 formula_60 및 위상 formula_61를 가진 사인파 성분을 가진 복소수 고조파 신호가 입력되고, 여기서 arg는 편각이다.
선형 시불변 시스템에 입력되면, 출력의 해당 성분은 다음과 같다.
선형 시불변 시스템에서는 입력 진동수 formula_65가 변경되지 않고, 사인파의 진폭과 위상각만 시스템에 의해 변경된다. 주파수 응답 formula_66는 모든 진동수 formula_65에 대한 이 변화를 이득으로 설명한다.
그리고 위상 편이(phase shift)는
위상 지연 (전달 함수에 의해 사인파에 도입되는 주파수 종속 지연량)은 다음과 같다.
군 지연 (전달 함수에 의해 사인파의 포락선에 도입되는 주파수 종속 지연량)은 각진동수 formula_65에 대한 위상 편이의 미분값을 계산하여 얻어진다.
전달 함수는 formula_73인 양측 라플라스 변환의 특수한 경우인 푸리에 변환을 사용하여도 나타낼 수 있다.
일반적인 전달 함수 계열.
어떤 LTI 시스템도 특정 전달 함수로 설명될 수 있지만, 특별한 전달 함수 "계열"이 일반적으로 사용된다.
제어공학 및 제어이론에서 전달 함수는 라플라스 변환으로 도출된다. 전달 함수는 고전 제어공학에서 사용되는 주요 도구였다. 어떤 선형 시스템에 대해서도 동역학과 다른 특성을 분석하기 위해 전달 행렬을 얻을 수 있으며, 전달 행렬의 각 요소는 특정 입력 변수와 출력 변수를 연결하는 전달 함수이다. 하워드 H. 로젠브로크가 상태 공간과 전달 함수 방법 사이를 연결하는 표현을 제안했으며, 이는 로젠브로크 시스템 행렬로 알려져 있다.
이미징에서 전달 함수는 장면 조명, 이미지 신호 및 표시된 조명 간의 관계를 설명하는 데 사용된다.
비선형 시스템.
이완 발진기와 같은 많은 비선형 시스템에는 전달 함수가 존재하지 않는다. 그러나 기술 함수는 때때로 이러한 비선형 시불변 시스템을 근사하는 데 사용될 수 있다.
《Multiplepersonalize》는 대한민국의 가수 JK 김동욱의 두 번째 정규 음반이다. 2003년 8월 5일, 서울음반을 통해 발매되었으며, 같은 해 12월 5일 재발매판이 발매되었다.
음반명은 "Multiple"과 "personalize"의 합성어로, 여러 가지 개성을 담은 자신만의 음악세계를 표현한다는 의미를 담고 있다.
JK 김동욱은 본 음반을 통해 R&amp;B 기반의 솔 발라드에서 벗어나 댄스, 팝, 록 등으로 장르를 확장하였다.
이후 JK 김동욱은 2004년 리메이크 음반 《Memories In Heaven》을 발표하며 활동을 이어갔다.
본 음반은 솔 기반의 감성적 보컬과 함께, 전작보다 다채로운 장르 시도를 특징으로 한다. 특히 트랙 〈Paradise〉에는 래퍼 주석이 피처링으로 참여하였으며, 〈Iris〉와 〈너의 행복만〉은 음반 내 대표곡으로 언급된다.
음반은 2003년 8월 5일 초판(SRCD-3704)으로 발매되었고, 같은 해 12월 5일 재발매판(SRCD-3727)이 출시되었다. 음반 유통은 서울음반이 담당하였다.
본 음반은 다양한 음악적 시도를 높이 평가받았으나, 상업적 성과는 전작보다 두드러지지 않았다.
음악평론에서는 "다양한 개인적 감정과 음악적 색깔을 담은 작품"으로 평가된다.
락 키(Lock key) 또는 잠금 키는 선택된 잠금 설정에 따라 키보드 키의 일부를 고유한 작동 모드로 잠그는 기능이다.
대부분의 키보드에는 세 가지 유형의 잠금 기능이 있다.
일부 노트북 및 소형 키보드에는 Fn Lock 또는 F-lock이라는 기능 잠금 기능도 있다. 이러한 장치에서는 Fn 보조 키를 사용하여 키를 결합하여 공간을 절약하고 비표준 기능을 추가한다. 일반적인 사용은 F1-F12 키가 있는 행을 디스플레이 밝기, 미디어 볼륨 및 재생, 키보드 조명과 같은 설정을 조정하는 키와 병합하는 것이다. Fn Lock은 이러한 키의 기본 출력을 전환한다.
락 키는 키보드 전체에 흩어져 있다. 대부분의 키보드 스타일에는 숫자 키패드 위 오른쪽 상단에 어떤 잠금 장치가 활성화되었는지 나타내는 세 개의 LED가 있다. 일부 인체공학적 키보드는 대신 키 분할 사이에 잠금 표시기를 배치한다. 일부 브랜드의 키보드에는 기능 모드 키(F 모드 또는 Office Lock이라고도 함)가 있으며 스크롤 잠금 표시기를 Office Lock 표시기로 대체할 수 있다. Office Lock은 활성화되면 다양한 워드 프로세싱 또는 이메일 프로그램과 함께 사용하도록 의도된 기능 키의 대체 기능을 활성화한다.
씽크라이트(ThinkLight)는 많은 구형 씽크패드 계열의 랩톱 컴퓨터에 있었던 키보드 조명이다.
이 시리즈는 원래 IBM이 설계했으며, 2005년부터는 레노버가 개발하고 생산했다. 씽크라이트는 후기 씽크패드 세대에서는 백라이트 키보드로 대체되었으며, 레노버는 2013년에 씽크라이트를 단종했다.
씽크라이트의 기원은 원래 IBM 씽크패드 팀의 사용자 중심 디자인 철학으로 거슬러 올라간다. 1998년 씽크패드 i 시리즈 1400에서 처음 소개되었는데, 책상 램프의 눈부심 없이 어두운 환경에서 작업해야 하는 일반적인 사용자 문제에 대한 간단하면서도 우아한 해결책이었다.
IBM 디자이너 데이비드 힐은 일본에서 롤리까지 비행하는 동안 키보드를 비추기 위해 머리 위 조명을 켜고 싶지 않다는 생각에서 아이디어를 얻었다. 힐은 이 아이디어를 IBM 야마토에 넘겨 시제품을 만들었고, 씽크패드 총괄 매니저인 아달리오 산체스의 테스트와 승인을 받았다.
디스플레이 베젤에 있는 이 단일 LED는 상징적인 트랙포인트처럼 브랜드의 특징이 되었고, 많은 씽크패드 계열의 대표적인 기능이었다.
흰색 또는 황색 LED (모델에 따라 다름)가 디스플레이의 상단 가장자리에 위치하여 키보드를 비춰 저조도 환경에서 사용할 수 있게 한다. Fn-PgUp (키보드의 왼쪽 하단 및 오른쪽 상단 키) 키 조합으로 활성화된다. 후기 씽크패드는 Fn-Space 조합을 사용한다. 레노버는 나중에 백라이트 키보드를 포함하기 시작했으며, 일부 모델은 씽크라이트와 백라이트 키보드를 모두 포함했다. 이 모델들의 경우, Fn-Space 단축키는 백라이트 키보드(랩톱에 있는 경우)를 제어하는 데에도 함께 사용된다. 씽크패드 컴퓨터의 화면 표시에는 조명 켜짐 및 조명 꺼짐 표시기가 나타난다. 씽크라이트는 모니터가 켜져 있거나 꺼져 있을 때 활성화할 수 있지만 컴퓨터가 꺼져 있을 때는 활성화할 수 없다.
Z 및 R 시리즈와 같은 일부 씽크패드는 더 낮은 비용으로 인해 황색 LED를 특징으로 하지만 (모든 모델은 아님 - 일부 R61 및 R32 모델에는 여전히 흰색 조명이 있음), T 시리즈와 같은 다른 모델은 흰색 LED (일반적으로 선호됨)를 사용한다.
G 시리즈와 SL 시리즈는 씽크라이트가 없다.
일부 씽크패드 (17인치 W700 및 W701)는 듀얼 흰색 LED가 있는 씽크라이트를 특징으로 했다.
씽크패드 X300 개발 초기에는 자외선 LED와 어둠 속에서 빛나는 특수 잉크를 사용할 계획이었지만, 이 개념은 최종 제품에서 제외되었다.
씽크패드 25주년 기념판이 개념 단계에 있을 때, 두 개의 씽크라이트가 장착되어 있었다.
HP 엘리트북 시리즈 노트북에는 HP 나이트 라이트라는 유사한 키보드 조명이 있다. 씽크라이트와 달리 키보드 단축키가 아닌 나이트 라이트 옆의 물리적 버튼으로 활성화된다. 1990년대 후반에 제3자들은 HP 200LX 시리즈 팜톱 컴퓨터를 위한 외부 LED 기반 조명 솔루션을 제공했다.
델 Latitude ATG 시리즈 랩톱에는 IBM 씽크라이트와 매우 유사한 방식으로 제어되며 키보드를 비추는 한 쌍의 빨간색 LED도 포함되어 있다.
대부분의 컴퓨터 제조업체는 위에서 키보드를 비추는 대신 백라이트 키보드를 선택했다. 전환 기간 동안 씽크패드는 씽크라이트와 백라이트 키보드를 모두 포함했다 (예: T530, T430 및 X230 모델). 2013년 현재, 모든 씽크패드 모델은 씽크라이트를 더 이상 포함하지 않았다.
매직 SysRq 키(Magic SysRq key)는 리눅스 커널이 이해하는 키 조합으로, 시스템 상태와 관계없이 사용자가 다양한 낮은 수준의 명령을 수행할 수 있게 한다. 이는 종종 시스템 멈춤에서 복구하거나, 파일 시스템을 손상시키지 않고 컴퓨터를 재부팅하는 데 사용된다.
이 키 조합은 재해 복구를 위한 기능에 접근할 수 있게 한다. 이러한 의미에서, 이는 이스케이프 시퀀스의 한 형태로 볼 수 있다. 제공되는 주요 명령은 파일 시스템을 강제로 언마운트하고, 프로세스를 종료하며, 키보드 상태를 복구하고, 기록되지 않은 데이터를 디스크에 쓰는 수단이다.
매직 SysRq 키는 커널 패닉이나 커널이 제대로 실행되는 것을 방해하는 하드웨어 오류와 같은 특정 조건에서는 작동할 수 없다.
리눅스 커널에는 매직 SysRq 기능을 구현하는 codice_1가 포함되어 있다. 매직 SysRq 기능은 드라이버 코드의 낮은 수준에서 직렬 장치에 의해 호출된다.
키 조합은 와 명령을 제어하는 또 다른 키로 구성된다. 키를 계속 누르고 있는 한, 명령 키를 누르기 전에 키를 놓을 수 있다.
이 조합은 항상 QWERTY 키보드 레이아웃을 전제로 한다. 예를 들어, 드보락 자판에서는 시스템을 종료하는 조합이 키 대신 키를 사용한다. 또한, 일부 키보드에는 별도의 키가 없을 수 있다. 이 경우, 별도의 키가 있어야 한다.
일부 장치, 특히 랩톱에서는 매직 키를 사용하기 위해 키를 눌러야 할 수 있다. 예를 들어, 씽크패드 카본 X1에서는 가 를 동시에 누른 다음, 를 계속 누른 상태에서 과 를 놓으면 활성화된다.
SysRq 기능은 키보드 없이도 접근할 수 있다. 아래의 를 참조한다. 일부 명령은 codice_2의 비트마스크 값에 지정된 대로 기본적으로 비활성화될 수 있다는 점에 유의한다.
명령의 예시 출력:
sysrq: HELP : loglevel(0-9) reboot(b) crash(c) terminate-all-tasks(e) memory-full-oom-kill(f) kill-all-tasks(i) thaw-filesystems(j) sak(k) show-backtrace-all-active-cpus(l) show-memory-usage(m) nice-all-RT-tasks(n) poweroff(o) show-registers(p) show-all-timers(q) unraw(r) sync(s) show-task-states(t) unmount(u) force-fb(v) show-blocked-tasks(w) dump-ftrace-buffer(z) dump-sched-ext(D) replay-kernel-logs(R) reset-sched-ext(S)
이 기능은 커널 구성의 컴파일 시간 옵션인 와 Sysctl 커널 매개변수인 에 의해 제어된다.
최신 커널 (2.6.12 이후)에서는 매직 SysRq 키가 어떻게 사용될 수 있는지에 대해 더 세밀하게 제어할 수 있다. 이러한 시스템에서는 에 기록된 숫자가 0, 1 또는 1보다 큰 숫자일 수 있으며, 이는 어떤 기능을 허용할지를 나타내는 비트마스크이다. 우분투에서는 부팅 시 에 정의된 값으로 설정된다.
저널링 파일 시스템이 등장하기 전에는 매직 SysRq 키의 일반적인 용도 중 하나는 잠긴 리눅스 컴퓨터를 안전하게 재부팅하는 것 (REISUB이라는 니모닉으로 표시되는 키 누름 시퀀스 사용)으로, 파일 시스템 손상 위험을 줄였다. 최신 파일 시스템에서는 동기화 및 언마운트가 플러시되지 않은 데이터를 디스크에 강제로 쓰는 데 여전히 유용하지만, 파일 시스템 손상을 방지하는 데 더 이상 필요하지 않다 (그리고 멈춤이 커널의 불량 상태로 인해 발생하는 경우 손상 위험을 증가시킬 수 있다). 우분투와 데비안 같은 배포판에서 kernel.sysrq의 기본값은 각각 176 (동기화, 언마운트, 재부팅 기능 허용) 및 438 (동기화, 언마운트, 재부팅 기능 외에 로그레벨, 언로우, 나이스-올-RT-태스크 허용)으로 유지된다.
과거의 또 다른 용도는 정지된 그래픽 프로그램을 종료하는 것이었다. 이는 X 윈도 시스템이 그래픽 모드와 입력 장치에 대한 완전한 제어권을 가지고 있었기 때문이다.
명령을 포함하지 않는 배포판에서는 키 시퀀스가 텍스트 콘솔로 강제 전환할 수 있다. 일부 시스템에서는 대신 또는 을 사용해야 할 수 있다.
매직 SysRq를 호출하는 다른 방법.
매직 SysRq 키는 원래 디버깅을 위해 커널의 키보드 핸들러의 일부로 구현되었지만, 이 기능은 proc 파일 시스템을 통해서도 노출되었으며, 헤드리스 및 원격 시스템에 확장된 관리 기능을 제공하는 데 일반적으로 사용된다. 사용자 공간 프로그램 (예: 명령줄 셸)에서 SysRq는 에 쓰기(예: )를 통해 접근할 수 있다.
많은 임베디드 시스템에는 키보드가 연결되어 있지 않지만, 실행 중인 시스템에 텍스트를 입력/출력하기 위해 직렬 콘솔을 사용한다. 직렬 브레이크 신호를 보낸 다음 원하는 키를 눌러 직렬 콘솔을 통해 매직 SysRq 기능을 호출할 수 있다. 브레이크를 보내는 방법은 직렬 콘솔에 연결하는 데 사용되는 터미널 프로그램이나 하드웨어에 따라 다르다. 이 기능을 활성화하려면 Sysctl 옵션을 설정해야 한다.
리눅스 데몬 및 은 일반 텍스트 암호로 인증한 후 TCP 연결을 통해 SysRq 기능에 접근하는 방법을 제공한다. 데몬은 시스템 부하 평균이 특정 임계값을 초과할 때 미리 구성된 SysRq 트리거를 호출한다.
젠 하이퍼바이저는 명령을 통해 호스트된 도메인에 매직 명령을 전송하는 기능을 가지고 있다. 또한, 뒤에 원하는 키를 보내는 브레이크 시퀀스를 통해 젠 파라버추얼 콘솔에서 SysRq 명령을 호출할 수 있다.
KVM 하이퍼바이저는 명령을 통해 호스트된 도메인에 매직 명령을 전송하는 기능을 가지고 있다.
virsh send-key --domain domainname --keycode KEY_LEFTALT KEY_SYSRQ KEY_S
크롬북에는 키보드가 있지만 전용 SysRq 키는 없다. 대신 ()을 사용한다. 하지만 일부 키는 다른 기능을 가지고 있다.
IBM 파워 시스템즈 서버는 하드웨어 관리 콘솔에서 뒤에 원하는 키를 사용하여 매직 SysRq 기능을 호출할 수 있다.
IBM 메인프레임 파티션은 3270 또는 HMC에서 뒤에 원하는 키를 사용하여 매직 SysRq 기능을 호출할 수 있다.
제임스 애브너 하트(, 1855년 7월 10일~1919년 7월 18일)는 19세기에 활동했던 미국의 프로 야구 감독이다. 통산 세 시즌 동안 루이빌 커늘스와 보스턴 비니터스의 감독을 맡아 팀을 지휘했다. 1890년대에는 영국에 있는 야구팀의 감독을 맡았다.
1885년과 1886년, 하트는 아메리칸 어소시에이션에 소속된 루이빌 커늘스의 감독을 맡았다. 1887년과 1888년에는 마이너 리그 팀인 밀워키 브루어스의 감독을 맡았다. 1889년에는 내셔널 리그의 보스턴 비니터스의 감독을 맡았다. 하트 감독은 당시 보스턴 비니터스에서 선수로는 뛰지 않은 최초의 감독이었다.
1891년, 시카고 화이트스타킹스(시카고 콜츠, 시카고 컵스의 전신)의 운영 책임자를 맡고 있던 하트는 알버트 스폴딩의 뒤를 이어 구단 회장직에 올랐다. 하트는 콜츠 구단의 공동 구단주였으며, 1895년 시즌 중 팀 전체가 일요일 경기를 치른 일로 인해 ‘소란 행위’ 혐의로 체포되었다. 이후 하트는 보석금을 지불해 선수들이 석방될 수 있도록 했다.
영국에서의 경력.
하트는 1890년대에 영국으로 건너갔는데, 1890년에 프로 야구 대회인 내셔널 리그 오브 베이스볼 오브 그레이트 브리튼이 시작되었다. 리그 창설에 도움을 요청하는 편지가 알버트 스폴딩에게 전해졌는데, 영국에서는 축구를 하던 기존 선수들을 지도하고 야구 선수로 전향시키기 위해 여덟 명에서 열 명 정도의 미국인 선수를 요청했다. 스폴딩은 하트를 감독으로 파견하고, 윌리엄 J. 바, 찰스 바틀릿, J. E. 프라이어, 리치 마스크리 등의 선수를 함께 보냈다.
기존 계획은 여덟 개의 팀으로 대회를 운영하고자 했으나, 애스턴 빌라, 프레스턴 노스 엔드 베이스볼 클럽, 스토크 시티, 더비 베이스볼 클럽 등 네 팀만이 대회에 합류했다. 이 가운데 앞의 세 팀은 하트에게 팀의 선수 선발 결정을 맡겼으며, 더비 베이스볼 클럽에서만 프랜시스 레이가 직접 선수를 구성했다. 하트는 프레스턴 노스 엔드 베이스볼 클럽 리미티드의 이사로 재직했다.
등번호 제안.
1894년의 한 신문 기사에 따르면, 하트는 선수 식별을 위해 유니폼 뒷면에 번호를 추가하자는 제안을 했다. 이러한 구상은 관중이 선수들을 쉽게 구분할 수 있도록 하기 위한 것으로, 점수판에 선수 이름과 번호를 함께 인쇄하자는 구상도 포함되어 있었다. 그러나 이러한 제안이 실제로 메이저 리그에서 본격적으로 시행된 것은 1929년 이후였다.
2001년 마이크로소프트에서 도입한 F-Lock 키는 기능 키의 상태를 전환한다. 켜져 있을 때 F1부터 F12 키는 현재 사용 중인 응용 프로그램에 정의된 의미에 따라 작동한다. 꺼져 있을 때 새로운 동작이 사용된다: F5는 "열기", F10은 "맞춤법 검사" 등을 의미한다. 초기 모델에서는 재부팅 또는 키보드 재설정 시마다 상태가 꺼짐으로 되돌아갔지만, 이후 모델에서는 재부팅 후에도 F-Lock 상태가 유지되었다.
컴퓨터 자판 제조업체(예: 로지텍 및 Viewsonic)도 자체 키보드에 F-Lock 기능을 구현했다.
F-Lock의 도입은 여러 지점에서 비판을 받았다. 첫째, 동작이 직관적이지 않았다: 기본적으로 F4와 같은 키를 누르면 더 이상 정상적인 의미를 갖지 않아, 와 같은 조합이 작동하지 않는 것처럼 보였다.
둘째, 각 키에 할당된 보조 기능의 선택이 임의적으로 보였다: F7은 맞춤법 검사를 위한 전통적인 키(마이크로소프트 자체 Office 제품에서 특히 사용됨)였지만, F7은 "회신" 기능으로 할당되었고, 맞춤법 검사는 F10에 할당되었다. 이는 일부 평론가들로부터 강한 비판을 야기했다.
Windows 탐색기에서 파일 이름을 변경하기 위해 F2를 누르면 이전 파일 작업이 취소되어, 실제 효과가 조용히 지나쳐지면 잠재적으로 치명적인 결과를 초래할 수 있었다.
이러한 우려 때문에 웹에는 F-Lock 기능을 비활성화하는 여러 방법이 등장했다.
많은 Windows/PC 사용자들은 마이크로소프트의 IntelliType Pro 소프트웨어를 사용하여 해결책을 찾았다. 이 소프트웨어는 사용자가 기능 및 액세서리 키에 키스트로크/매크로를 할당할 수 있도록 한다. 예를 들어, 기능 키 에 매크로 {Press }를 할당하면 F-Lock 상태와 관계없이 OS가 키 누름을 F1으로 해석하므로 F-Lock 문제가 무의미해진다.
키에 할당된 새로운 동작은 다음과 같다:
씨이오인터내셔널은 대한민국 서울특별시 강남구에 본사를 둔 향수·화장품 수입·유통 기업이다. 1995년에 설립되었으며, 해외 퍼퓸 브랜드의 국내 유통과 리테일 운영을 핵심 사업으로 한다. 주요 포트폴리오는 펜할리곤스, 프라고나르, 존바바토스, 클린, 브리오니 등으로 구성된다. 2024년 기준 매출액은 542억 8,702만원, 영업손실은 9억 3,513만원이다. 대표자는 김유성이며, 자회사로 이커머스 법인인 씨이오보떼를 운영한다.
1990년대 중반 수입 화장품·향수 도매 시장의 확대와 함께 1995년 6월 24일 법인이 설립되었다.
해외 향수·뷰티 브랜드의 수입 계약을 기반으로 백화점·전문숍 도매와 자사·제휴 채널 리테일 판매에서 수익을 창출한다. 브랜드 큐레이션과 카테고리(향수 중심) 확장을 병행하고, 국내 오프라인 매장 네트워크 및 온라인몰을 통해 판매한다.
핵심 제품은 향수이며, 일부 뷰티·라이프스타일 제품을 병행 취급한다. 국내 유통을 중심으로 하되, 일부 K-뷰티 소싱 및 수출 연계 사업을 병행한다.