~Live holic~

윈도우.. 웹호스팅용 서버 설치 후 기본 보안 설정 : 중지해야 하는 서비스 라고 하지만, 일반적으로 사용하는 컴퓨터에도 대부분 쓸데없이 실행되는 서비스들이 많다. 이런거 끄자! 1. Automatic Updates -> 중요한 윈도우 업데이트를 다운로드하고 설치할 수 있또록 하는 애플리케이션 백그라운드 로딩이 되는 만큼 시스템 리소스를 확보하고 있으므로 MS패치 관리 서버로 패치를 일괄로 관리하게 된다면 불필요한 서비스. 2. Remote Registry -> 원격 사용자가 이 컴퓨터에서 레지스트리 설정을 수정할 수 있도록 설정하는 애플리케이션 원격 지원을 하더라도 컴퓨터에 치명적인 레지스트리 수정은 막을 수 있음. 3. Wireless Zero Configuration -> 802.11 어댑터에 대해..

3. 의미망(Semantic Networks) 4. 프레임(Frames) ------------------------------- 3. 의미망(Semantic Networks) 술어논리 -사실 표현에 중점: ex)오늘 비가 온다. -절의 형태로 순서 없이 저장: 절들이 독립적으로 하나하나 떨어져 저장. 보수항을 찾아서 두개씩 짝지어 융합 -추론 방법: 비교 흡수 지식 구조를 기억 장치에 구성하는 방법 -연관망, 의미망, 프레임, 스크립트 대학교수bOB에 대한 지식 베이스 -PROFESSION(bob, professor), FACULTY(bob, ngineering), MARRIED(bob, sindy), DRIVES(bob, hundai), OWNS(bob, house) ... 단편적인 것을 넣다보니 지..

비교흡수 절차 공리:F1, F2, F3, ..., Fn 목표:G G가 F1, F2, F3, ..., Fn의 논리적 결과임을 보임 F1, F2, F3, ..., Fn, ~G를 절의 형태로 변환 비교흡수 절차 서로보수 항을 가진 두개의 절을 선택 두개의 절(부모절)에서 보수 항을 제거 나머지항들을 논리합으로 하여 새로운 절(도출절)을 생성 새로운 도출절을 계속 생성 모순(NIL)이 발생하면 종료: 증명 완료 목표에 ~(not)을 붙여서 절의 형태로 변환해서 보수항이 있나 없나 찾아서 두개 합쳐서 새로운 절을 만든다.(도출절) NIL이 나오면 증명에 성공, 끝까지 나오지 않으면 실패(공리가 참일 때 목표가 항상 참이 되는것은 아니다). 예. 비교흡수 전제 A, B, A&C->D, B->C 목표 G: D 정형식..

정보보호. 1. 애니그마 2. DES, S-DES 암호화 과정 3. 관용암호 : 키 배분의 문제. 4. 비대칭키 암호 방식. -비대칭키 개념 시나리오 5. RSA 알고리즘 실제 계산 과정. 공개키, 개인키를 만들고 알고리즘에 의해서 암호화-복호화. 다 계산 할 수 있어야. 6. RSA 알고리즘 해독은? AI. 1. 명제논리. - 문의 종류 정당, 만족가능, ... 2. 술어논리 1)문장(한글) ->술어 . 함수는 내가 정의해서 적어줘야 한다. (정형식) 2)정형식 -> 절(논리곱) (v) Λ (v) Λ (v) Λ 3)절 -> 추론(논리융합) 3. 의미망. Semantic network.

#include #include #include #include #define e 7 long MOD(int a, int b){ while(1){ if( a < b ) return a; else {a=a%b;}} } int mod(int A, int B, int C) { long index[30]; long Last[30]; long *PB; long *L; int *P_B; int index_B[30]; PB=index; L=Last; P_B=index_B; memset(PB, NULL, sizeof(long)*30); // 배열 초기화 memset(L,NULL,sizeof(long)*30); // 배열 초기화 memset(P_B,NULL,sizeof(int)*30); // 배열 초기화 int resu..

#include #include #include #include // 모듈러 연산 // 입력: 밑수, 지수, 모듈러 수 // 출력: 연산결과 long MOD(int a, int b){ while(1){ if( a < b ) return a; else {a=a-b;}} } int main(int argc,char *argv[] ) { long index[30]; long Last[30]; long *PB; long *L; int *P_B; int index_B[30]; PB=index; L=Last; P_B=index_B; memset(PB, NULL, sizeof(long)*30); // 배열 초기화 memset(L,NULL,sizeof(long)*30); // 배열 초기화 memset(P_B,NULL,..

디피-헬먼, 공개키 암호 개념을 제시했다. 리베스트, 샤미르, 애들먼이 공포했다(이 세사람 이름 첫자 따서 RSA). 평문화 암호문이 양정수의 블록 암호를 사용한다. 블록의 크기는 1024비트이며 십진수로 309자리이다. 오일러 정리를 이용하여 수학적 계산을 한다.. p와 q가 서로소일 때, n=p*q. (아주 쉽게 말해서... n이 엄청 큰 수일 때, n의 약수를 찾기는 어렵지만(n의 약수는 p,q뿐이니까) p,q를 이용하면 n을 찾기는 쉽기 때문에 암호로 사용할 수 있다. )

기밀과 인증 누구나 해독 가능(키가 공개되어 있기 때문에) -> 두번 암호화. 한번은 자신의 개인키로. 한번은 수신자의 공개키로. 평문 -> Encryption(내 개인키로) -> Encryption(수신자의 공개키로) -> Decryption(수신자의 개인키로)->Decryption(내 공개키로) -> 평문

곱셈에 대한 역원. 만약, gcd(d, f)=1 즉, d와 f가 서로소면 d는 모듈러 f상에서 곱셈에 대한 역원을 갖는다. 양의 정수 d

mod n 연산에 관한 법칙 1.(a mod n + b mod n) mod n = (a+b) mod n 2.(a mod n - b mod n) mod n = (a-b) mod n 3.(a mod n * b mod n) mod n = (a*b) mod n 지수연산은 곱셈의 반복으로 수행이 가능하다. ㅇㅇㅇㅇ 페르마 정리. p가 소수라면 a는 p에 의해 나누어지지 않는 양의 정수일 때 ap-1 º 1 mod p 가 성립 오일러의 Totient 함수 j(n)라고 표기 j(n) : n보다 작고 n과 서로소인 양의 정수의 개수 서로소인 모든 a와 n에 대한 관계를 나타냄 aj(n) º 1 mod n 이 이상은... 머리 쥐.